Py0MQ: Python bindings for zeromq
Repositories
sdiehl repositories
Modifications to Owen Taylor's Reinteract
Haskeline wrapper for GHCi-like REPL interfaces
A GTK based frontend for R
Write You a Scheme
Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp
README.md
semirings and *-semirings of types in base/haskell-platform
Shamir Secret Sharing
Snowflake SQLAlchemy
Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
Python subsets
A MCP server for symbolic manipulation of mathematical expressions
Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on specific characters and limiting of cell width)..
A pre-commit hook for Taplo, a TOML formatter written in Rust
Generate recurring dates.
A tiny implementation of two-level type theory