- San Francisco
- https://2π.com
- @recmo
Highlights
- Pro
Stars
- All languages
- Agda
- Assembly
- C
- C++
- COBOL
- CSS
- Cairo
- Circom
- Common Lisp
- Coq
- Emacs Lisp
- Factor
- GCC Machine Description
- Go
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- Lean
- Makefile
- Markdown
- Metal
- Nim
- OCaml
- OpenSCAD
- PEG.js
- PHP
- Python
- R
- Rust
- Sage
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Swift
- SystemVerilog
- Tcl
- TypeScript
- Verilog
- WebAssembly
michidk / rost
Forked from bnjbvr/rouilleRust programming in German.
Streamlined interface for generating images with AI in Krita. Inpaint and outpaint with optional text prompt, no tweaking required.
A performant and modular zkVM framework built for customization and extensibility.
A monorepo of reusable libraries for zero-knowledge technologies.
Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend
Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
An open access book on scientific visualization using python and matplotlib
WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
UE5's Nanite implementation using WebGPU. Includes the meshlet LOD hierarchy, software rasterizer and billboard impostors. Culling on both per-instance and per-meshlet basis.
cpp witness calculator for mobile and desktop for iden3 circuits
Scan MRZ (Machine Readable Zone) from identity documents (passport, id, visa) using iPhone/iPad (iOS)
Experimental rasterization engine, by PhET Interactive Simulations
A simple, fast and user-friendly alternative to 'find'
WOFF/WOFF2 math fonts and sample CSS stylesheets