Name: Balazs Komuves
Type: User
Bio: Mathematics, types, compilers.
Location: Budapest, Hungary
aoc
advent of code
bkomuves
Config files for my GitHub profile.
combinat
Generate and manipulate various combinatorial objects
compact-word-vectors
compact-word-vectors Haskell library: Small vectors of small integers
constantine_g2_msm_bug_report
files demonstrating a bug in constantine
finite-fields
arithmetic in (small) finite fields
formal-proofs
Formal proofs of some elementary mathematical statements
hash-circuits
Hashing circuits implemented in circom
idris-experiments
Experiments with dependently-typed programming in Idris2
idris2
A purely functional programming language with first class types
mathematica-packages
my personal Mathematica packages
nanohs
a self-hosting lambda calculus compiler
ola-dmx
Haskell library to control DMX512 devices (stage lights) via bindings to OLA (Open Lighting Architecture)
polynomial-algebra
polynomial-algebra Haskell library
poseidon2-miden
Poseidon2 hash implementation in Miden VM assembly
r1cs-solver
R1CS soundness testing tool
singular-factory
singular-factory: Haskell bindings to the factorization library of Singular CAS
slides
slides of some talks I gave
symmetric-polynomials
Symmetric polynomials in Haskell
toy-language-server
Example language server (LSP) implementation for a toy language
websocket-editor
A simple web-based text editor with live feedback from a backend server
x86-64
Runtime code generation for x86 64 bit machine code
zikkurat-algebra
Algebraic primitives for ZK proof systems
zikkurat-formats-binary
Parsing binary file formats (ptau, r1cs, wtns) used in zero-knowledge proof tooling
zikkurat-groth16
circom-compatible Groth16 prover and verifier
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
