Balazs Komuves (@bkomuves)
github

bkomuves

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    114
  • Global Rank 189,057 (Top 7 %)
  • Followers 44
  • Following 2
  • Registered over 11 years ago
  • Most used languages
    Haskell
         63.6 %
    C
         18.2 %
    Agda     9.1 %
    Idris     9.1 %
  • Location 🇭🇺 Hungary
  • Country Total Rank 386
  • Country Ranking
    Agda     1
    Idris     2
    Haskell
         3
    C
         231

Top repositories

1

toy-language-server

Example language server (LSP) implementation for a toy language
Haskell
60
star
2

nanohs

a self-hosting lambda calculus compiler
Haskell
34
star
3

hash-circuits

Hashing circuits implemented in circom
Haskell
8
star
4

AOC

advent of code
Idris
3
star
5

compact-word-vectors

compact-word-vectors Haskell library: Small vectors of small integers
Haskell
2
star
6

combinat

Generate and manipulate various combinatorial objects
Haskell
1
star
7

finite-fields

arithmetic in (small) finite fields
C
1
star
8

formal-proofs

Formal proofs of some elementary mathematical statements
Agda
1
star
9

polynomial-algebra

polynomial-algebra Haskell library
Haskell
1
star
10

slides

slides of some talks I gave
1
star
11

r1cs-solver

R1CS soundness testing tool
Haskell
1
star
12

eth4berlin

eth4berlin
C
1
star