Repository

Repository di sdiehl

172 repository supportati

Py0MQ: Python bindings for zeromq

Ultimo commit 16 ago 2012

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Modifications to Owen Taylor's Reinteract

Ultimo commit 18 ago 2010

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Haskeline wrapper for GHCi-like REPL interfaces

Ultimo commit 17 mag 2025

 (108 star) (30 fork) (0 issue indicizzate) (0 good first issue aperte)

A GTK based frontend for R

Ultimo commit 11 apr 2011

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Write You a Scheme

Ultimo commit 1 gen 2017

 (2 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)

Schnorr Protocol for Non-interactive Zero-Knowledge Proofs

Ultimo commit 10 feb 2020

 (77 star) (15 fork) (0 issue indicizzate) (0 good first issue aperte)

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp

Ultimo commit 25 ott 2012

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

README.md

Ultimo commit 15 ago 2026

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

semirings and *-semirings of types in base/haskell-platform

Ultimo commit 24 ago 2019

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Shamir Secret Sharing

Ultimo commit 26 nov 2019

 (21 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)

Ultimo commit 1 gen 2017

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Snowflake SQLAlchemy

Ultimo commit 3 giu 2024

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

Ultimo commit 5 apr 2020

 (49 star) (9 fork) (0 issue indicizzate) (0 good first issue aperte)

Ultimo commit 28 dic 2012

 (0 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)

Python subsets

Ultimo commit 11 feb 2017

 (41 star) (7 fork) (0 issue indicizzate) (0 good first issue aperte)

A MCP server for symbolic manipulation of mathematical expressions

Ultimo commit 18 mar 2026

 (81 star) (12 fork) (0 issue indicizzate) (0 good first issue aperte)

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)..

Ultimo commit 22 nov 2018

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

A pre-commit hook for Taplo, a TOML formatter written in Rust

Ultimo commit 20 ott 2025

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

Generate recurring dates.

Ultimo commit 25 apr 2015

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)

A tiny implementation of two-level type theory

Ultimo commit 14 ago 2026

 (2 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)