felix314159/electronics
Collection of Arduino/Rpi/ATtiny85 soldering projects I built for fun
Former Protocol Testing Engineer on the STEEL team at the Ethereum Foundation
Repositories
felix314159/felix314159
Making my Github profile prettier :)
felix314159/cvl-halmos-erc20-verification
Formally verifying a toy ERC20 contract using CertoraProver and Halmos
felix314159/go-ethereum
Go implementation of the Ethereum protocol
felix314159/oksolc
A Solidity compiler written in Zig
felix314159/Stockfish
A free and strong UCI chess engine
felix314159/pil2-proofman
Prover Manager
felix314159/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
felix314159/lean4
Lean 4 programming language and theorem prover
felix314159/rocq
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
felix314159/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
felix314159/Plonky3
A toolkit for polynomial IOPs (PIOPs)
felix314159/openvm
A performant and modular zkVM framework built for customization and extensibility.
felix314159/sp1
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
felix314159/clabot-config
CLA configuration repository
felix314159/zisk
felix314159/melee
A decompilation of Super Smash Bros Melee brought to you by a bunch of clever folks.
felix314159/vllm
A high-throughput and memory-efficient inference and serving engine for LLMs
felix314159/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
felix314159/zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
felix314159/cpython
The Python programming language
felix314159/systemd
The systemd System and Service Manager
felix314159/compose
Define and run multi-container applications with Docker
felix314159/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
felix314159/VeraCrypt
Disk encryption with strong security based on TrueCrypt
felix314159/brew
🍺 The Package Manager for Everywhere
felix314159/llama.cpp
LLM inference in C/C++
felix314159/solidity
Solidity, the Smart Contract Programming Language
felix314159/openssl
General purpose TLS and crypto library
felix314159/sphincsminus
Implementations of sphnics minus in python and lean