Pinned Repositories
ball-game
Very simple physics simulation
Div7
Finding regular expressions to test for divisibility of numbers
dot-files
My bash-configuration stuff
Haskell-Workshop-February-2012
At XenClient / Citrix
luagravity
LuaGravity is a reactive language that implements the synchronous approach for concurrency.
miden-collision
mirage
Cloud programming platform
OcamlRegEx
Fast, pure and thread-safe regular expressions for Ocaml -- eventually
Quine
A Quine in C. No tricks, implementation tries to be as clear and simple as possible.
redgrep
redgrep in Haskell
matthiasgoergens's Repositories
matthiasgoergens/xmonad-configuration
matthiasgoergens/zkvm
matthiasgoergens/bcachefs-tools
http://bcachefs.org
matthiasgoergens/bitfields
Tests and tools for Python structs with (and without) bitfields
matthiasgoergens/BuildDeploymentDashboard
Build and Deployment Dashboard to track Jenkins builds
matthiasgoergens/cargo-udeps-action
matthiasgoergens/ci_tests
matthiasgoergens/clio
A rust library for parsing command line file name arguements
matthiasgoergens/cpython
The Python programming language
matthiasgoergens/derive_more
Some more derive(Trait) options
matthiasgoergens/guess-float
Binary search on floating point numbers
matthiasgoergens/libfuse
The reference implementation of the Linux FUSE (Filesystem in Userspace) interface
matthiasgoergens/miden-vm
STARK-based virtual machine
matthiasgoergens/musl
Unofficial mirror of etalabs musl repository. Updated daily.
matthiasgoergens/olavm
A STARK-based ZKVM which aims to support Solidity compatibility, Programmable Scalability, Programmable Privacy
matthiasgoergens/olavm-whitepaper-v2
Ola whitepaper version-2
matthiasgoergens/peps
Python Enhancement Proposals
matthiasgoergens/plonky2
matthiasgoergens/Plonky3
A collection of libraries related to polynomial IOPs (PIOPs)
matthiasgoergens/proptest
Hypothesis-like property testing for Rust
matthiasgoergens/random-grid
matthiasgoergens/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
matthiasgoergens/rkyv
Zero-copy deserialization framework for Rust
matthiasgoergens/rrs
Rust RISC-V Simulator
matthiasgoergens/sp1
The fastest, most feature-complete zkVM for developers.
matthiasgoergens/tensorflow
An Open Source Machine Learning Framework for Everyone
matthiasgoergens/TwoTimePad
matthiasgoergens/valida
A STARK-based VM focused on code reuse, performance, and modularity
matthiasgoergens/valida-compiler
LLVM backend compiler for the Valida VM
matthiasgoergens/zk-vm
RISC-V Virtual Machine