Highlights
- Pro
Lists (1)
Stars
Empowering everyone to build reliable and efficient software.
A Python package for elegant error handling, inspired by Rust's Result type.
An extremely fast Python package and project manager, written in Rust.
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. All in a modern, AI-native editor.
A typst wasm plugin to use graphviz directly inside documents
The Book of Statistical Proofs
Zipline, a Pythonic Algorithmic Trading Library
A library to generate LaTeX expression from Python code.
A new markup-based typesetting system that is powerful and easy to learn.
Portfolio analytics for quants, written in Python
🐚 Python-powered shell. Full-featured and cross-platform.
Accurate stronghold calculator for Minecraft speedrunning.
Magnificent app which corrects your previous console command.
A Mozilla SpiderMonkey JavaScript engine embedded into the Python VM, using the Python engine to provide the JS host environment.
A Typst package for creating custom shorthands for math equations.
Lean 4 programming language and theorem prover
A maintained, feature-rich and performance oriented, neofetch like system information tool.
An implementation of numbered theorem environments in typst
An implementation of the Language Server Protocol for LaTeX
⭐️ A friendly language for building type-safe, scalable systems!