| Name | Version | Summary | date |
|---|---|---|---|
| jaclang | 0.7.31 | Jac is a unique and powerful programming language that runs on top of Python, offering an unprecedented level of intelligence and intuitive understanding. | 2025-02-18 20:53:18 |
| TinyLean | 0.1.0 | Tiny theorem prover with syntax like Lean 4 | 2025-02-08 15:09:37 |
| 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 |
|---|---|---|---|
| 58 | 985 | 6538 | 288573 |