Lists (6)
Sort Name ascending (A-Z)
Circom
All things Circom <3CryptoRust
Collection of repos related to crypto using Rust.Lurk
zk-functional programming? yes.MacOS 🍎
Things that you may use if you are an Apple boi.Rust Performance
Type Juggling
Abusing the type system- All languages
- ActionScript
- Agda
- Assembly
- Brainfuck
- C
- C#
- C++
- C3
- CMake
- CSS
- Cairo
- Circom
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dockerfile
- EJS
- Elixir
- Erlang
- Go
- HTML
- Handlebars
- Haskell
- HolyC
- Io
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Less
- LilyPond
- Linear Programming
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Max
- Mermaid
- Metal
- Mojo
- MoonBit
- Move
- Nim
- Nix
- Noir
- Nunjucks
- Nushell
- OCaml
- Objective-C
- Odin
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Python
- QML
- R
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Sail
- Scala
- Scheme
- Shell
- Sieve
- Solidity
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- Text
- TypeScript
- Typst
- V
- Verilog
- Vim Script
- Vue
- Vyper
- WebAssembly
- Wolfram Language
- Yacc
- Yul
- Zig
- hoon
Starred repositories
The ZK Compression Protocol For Solana
An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.
Experimental JS parser-generator project.
SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.
Specification for the Execution Layer. Tracking network upgrades.
Rust implementation of bors used for various Rust components (e.g. the compiler).
Minimal and scalable research codebase in JAX, designed for rapid iteration on frontier research in LLM and other autoregressive models.
CLI that turns a YouTube guitar-lesson video into a PDF of the guitar tab.
A fast zero-knowledge proof system for key derivation and key encryption, for web and mobile.
using agents to monitor proving training and inference techniques
Remove unused Rust dependencies with this one weird trick!
open source interpretability platform 🧠
Companion code for the global workspace interpretability paper
Transaction explorer for Logos Execution Zone (LEZ) sequencers: CLI + web dashboard over public on-chain settlement data.
❌ Cargo plugin for linting your dependencies 🦀
OpenWiki is a CLI that writes and maintains agent documentation for your codebase.
📄 PDF extraction and rendering across all JavaScript runtimes
Samples of WebAssembly Text programs