Name | Version | Summary | date |
bijux-cli |
0.1.3 |
Lean, plug-in-driven CLI kernel |
2025-08-19 23:58:46 |
raito |
1.3.3 |
REPL, hot-reload, keyboards, pagination, and internal dev tools — all in one. That's Raito. |
2025-08-18 18:21:31 |
lean-interact |
0.8.2 |
LeanInteract is a Python package that allows you to interact with the Lean theorem prover. |
2025-08-15 12:44:21 |
replkit2 |
0.7.6 |
A minimal Python framework for building stateful REPL applications with ASCII display |
2025-08-13 19:27:39 |
fclpy |
0.1.0 |
A Common Lisp interpreter implemented in Python |
2025-08-10 18:45:36 |
hy-nrepl |
1.0.3 |
nREPL implementation for Hy (Hylang) |
2025-08-09 08:48:26 |
hanzo-repl |
0.1.0 |
Interactive REPL for Hanzo AI - Like Claude Code in your terminal |
2025-07-26 02:48:42 |
mocp-cli |
0.1.22 |
CLI tools for finding, organizing, and playing audio files |
2025-07-23 18:36:16 |
vlc-helper |
0.1.9 |
CLI helpers for VLC media player |
2025-07-23 18:34:44 |
alive-progress |
3.3.0 |
A new kind of Progress Bar, with real-time throughput, ETA, and very cool animations! |
2025-07-20 02:10:39 |
agent-repl-chat |
0.2.0 |
A beautiful terminal chat interface for OpenAI agents and DSPy Modules |
2025-07-10 13:20:05 |
sagely |
0.1.1 |
LLM assistant for Python packages in REPLs and notebooks |
2025-07-08 22:37:38 |
python-clu |
0.12.9 |
Python-CLU: Common Lightweight Utilities |
2025-05-24 23:05:00 |
pytezos |
3.14.0 |
Python toolkit for Tezos |
2025-01-18 04:38:38 |
mcp-python |
0.1.4 |
MCP server providing a Python REPL with persistent session |
2025-01-08 19:05:47 |
flanellograf |
0.4.1 |
Tool for making presentations using the Python REPL |
2024-12-08 20:15:03 |
nobi-pytezos |
0.1.2 |
Python toolkit for Tezos |
2024-09-11 11:35:15 |
pymavryk |
3.12.1 |
Python toolkit for Mavryk |
2024-08-27 13:18:33 |
lebrunthibault-alive-progress |
3.1.7 |
A new kind of Progress Bar, with real-time throughput, ETA, and very cool animations! |
2024-07-19 07:50:58 |
cli-skel |
0.4.0 |
Generate CLI applications from python dictionaries. |
2024-07-01 07:25:58 |