
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
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Circom
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dockerfile
- EJS
- Elixir
- Erlang
- Go
- HTML
- Handlebars
- Haskell
- Io
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- LilyPond
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Max
- Mermaid
- Mojo
- Move
- Nim
- Noir
- Nunjucks
- OCaml
- Objective-C
- Odin
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Python
- QML
- R
- Racket
- ReScript
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- V
- Verilog
- Vim Script
- Vue
- Vyper
- WebAssembly
- YAML
- Yacc
- Yul
- Zig
- hoon
Starred repositories
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
Graph Node indexes data from blockchains such as Ethereum and serves it over GraphQL
A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
a JSON parser and printer library in C. easy to integrate with any model.
Archon is an AI agent that is able to create other AI agents using an advanced agentic coding workflow and framework knowledge base to unlock a new frontier of automated agents.
⚡ Dynamically generated, customizable SVG that gives the appearance of typing and deleting text for use on your profile page, repositories, or website.
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…
Headless TypeScript ORM with a head. Runs on Node, Bun and Deno. Lives on the Edge and yes, it's a JavaScript ORM too 😅
Watches over your Cargo project's source.
An implementation of GitHub's Primer Design System using React
Color, typography, and spacing primitives in json.
Toolkit for linearizing PDFs for LLM datasets/training
Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
Finetune Llama 3.3, DeepSeek-R1 & Reasoning LLMs 2x faster with 70% less memory! 🦥
Source code spell checker for Visual Studio Code, Neovim and other LSP clients