Lists (6)
Sort Name ascending (A-Z)
Circom
All things Circom <3CryptoRust
Collection of repos related to crypto using Rust.Foundry
CTF and stuff done with FoundryLurk
zk-functional programming? yes.Sage
SageMath y'allType Juggling
Abusing the type system- All languages
- ActionScript
- 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
- 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
A terminal user interface (TUI) for visualizing and exploring strace output
Userspace WireGuard® Implementation in Rust
A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)
Replace port numbers with stable, named local URLs. For humans and agents.
Copper is an operating system for robots - build, run, and replay your entire robot deterministically.
An extensible framework for program autotuning
Train the smallest LM you can that fits in 16MB. Best model wins!
A practically efficient hash-based succinct argument that bypasses the arithmetization overheads
Sharp Monocular View Synthesis in Less Than a Second
Solana payment method for the Machine Payments Protocol.
Easy Linux virtual machine on MacOS to sandbox LLM agents.
Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)
CLI-Anything: Making ALL Software Agent-Native
Sub-millisecond VM sandboxes for AI agents via copy-on-write forking
Run OpenClaw more securely inside NVIDIA OpenShell with managed inference
Community maintained hardware plugin for vLLM on Apple Silicon
Fully autonomous & self-evolving research from idea to paper. Chat an Idea. Get a Paper. 🦞
A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.