Repositories

sdiehl Repositories

172 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
sdiehl/agents-experimentHaskell

Toy language

Letzter Commit 12.06.2014

 (3 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/alex-toolsHaskell

A Haskell library making it easier to write Alex lexers.

Letzter Commit 27.03.2020

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/aoc-2025-leanLean

Advent of Code 2025 done in Lean 4

Letzter Commit 12.12.2025

 (18 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)
sdiehl/aos-signatureHaskell

Abe-Ohkubo-Suzuki Linkable Ring Signatures

Letzter Commit 28.11.2019

 (48 Stars) (6 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/arithmetic-circuitsHaskell

Arithmetic circuits for zero knowledge proof systems

Letzter Commit 14.04.2020

 (83 Stars) (15 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/arithmoiHaskell

arithmoi is currently maintained here

Letzter Commit 15.06.2019

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/aterm-utils

Utility functions for working with aterms as generated by Minitermite

Letzter Commit 17.11.2012

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/awesome-crypto-critique

Awesome critique of crypto / web3. Aim for this to be high quality and constructive (where possible!)

Letzter Commit 22.02.2022

 (16 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/beamer_templatePython

A toolchain to make beautiful Beamer presentations without fussing with LaTeX.

Letzter Commit 03.05.2011

 (12 Stars) (5 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/bitvecHaskell

Bit vectors library for Haskell

Letzter Commit 23.10.2019

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/bnlcPython

Binary lambda calculus

Letzter Commit 02.07.2013

 (6 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/bulletproofsHaskell

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Letzter Commit 25.12.2022

 (554 Stars) (49 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/butler-portugalRust

Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust

Letzter Commit 22.06.2026

 (18 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)
sdiehl/cabal-editHaskell

A utility for managing Hackage dependencies and manipulating Cabal files from the command line.

Letzter Commit 25.07.2020

 (77 Stars) (2 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/catsTeX

Generate commutative diagrams inside of Pandoc with Tikz

Letzter Commit 06.07.2017

 (34 Stars) (5 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/caverna-formalLean

Formal model of strategy dominance in 2-player Caverna board game

Letzter Commit 27.04.2026

 (6 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/cfracHaskell

Continued fractions for arithmetic

Letzter Commit 20.02.2020

 (5 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/church-numbersPython

Lambda Calculus in Python

Letzter Commit 08.04.2011

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/clifHaskell

A Clifford algebra number type for Haskell

Letzter Commit 10.04.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
sdiehl/cliffexTypeScript

Generalized Clifford algebra explorer

Letzter Commit 13.05.2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)