Balazs Komuves

toy-language-server. Example language server (LSP) implementation for a toy language

nanohs. a self-hosting lambda calculus compiler

hash-circuits. Hashing circuits implemented in circom

slides. slides of some talks I gave

AOC. advent of code

compact-word-vectors. compact-word-vectors Haskell library: Small vectors of small integers

combinat. Generate and manipulate various combinatorial objects

formal-proofs. Formal proofs of some elementary mathematical statements

poseidon2-miden. Poseidon2 hash implementation in Miden VM assembly

r1cs-solver. R1CS soundness testing tool

polynomial-algebra. polynomial-algebra Haskell library

eth4berlin. eth4berlin

stb-image-tmp. Haskell wrapper around Sean Barrett's stb_image C library

finite-fields. arithmetic in (small) finite fields