Name | Version | Summary | date |
---|---|---|---|
TinyLean | 0.1.0 | Tiny theorem prover with syntax like Lean 4 | 2025-02-08 15:09:37 |
jaclang | 0.7.29 | Jac is a unique and powerful programming language that runs on top of Python, offering an unprecedented level of intelligence and intuitive understanding. | 2025-01-07 16:35:00 |
opshin | 0.24.0 | A simple pythonic programming language for Smart Contracts on Cardano | 2024-10-31 20:58:58 |
uplc | 1.0.7 | Python implementation of untyped plutus language core | 2024-10-08 15:00:30 |
hour | day | week | total |
---|---|---|---|
84 | 1369 | 7504 | 288080 |