Balazs Komuves
bkomuves
Mathematics, types, compilers.
Budapest, Hungary
Joined June 2013
bkomuves
Config files for my GitHub profile.
Updated 6/2/2025
staging-agda
Metaprogramming experiment in Agda
Updated 5/31/2025
combinat
Generate and manipulate various combinatorial objects
HaskellUpdated 5/19/2025
hash-circuits
Hashing circuits implemented in circom
HaskellUpdated 5/14/2025
toy-language-server
Example language server (LSP) implementation for a toy language
HaskellUpdated 4/12/2025