Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
- All languages
- AGS Script
- Assembly
- Awk
- Bikeshed
- Bluespec
- C
- C#
- C++
- CSS
- Cairo
- Circom
- Clojure
- Common Lisp
- Coq
- Cuda
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Fennel
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- 8000 Kaitai Struct
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Nearley
- Nix
- OCaml
- Objective-C
- PHP
- Pascal
- Pony
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- Sage
- Scala
- Scheme
- Shell
- Solidity
- Starlark
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- Typst
- Verilog
- Vim Script
- Vue
- WebAssembly
- YARA
- Zig
- hoon
- q
Starred repositories
DSPy: The framework for programming—not prompting—language models
A BSC-compatible implementation of the Reth client, using Reth's NodeBuilder API.
Retina is a network analysis framework that supports 100+ Gbps traffic analysis on a single server with no specialized hardware.
simple markdown editor w inline comments, on latest automerge stack
Monorepo for Boundless, the universal ZK protocol
A fast and secure RISC-V based virtual machine
Repository of docker images for the node software of Cosmos chains
AWS Nitro enclave attestation verifier in Solidity, used by:
Diamond iO implementation https://eprint.iacr.org/2025/236
The implementation of Stateless Ethereum client based on Reth
Refund Protocol: a smart contract for stablecoin payment disputes.
A performant and modular zkVM framework built for customization and extensibility.
An implementation of webauthn components for Rustlang servers
Celestia derivation pipeline and proof crate built with kona
an MCP server for penumbra, allowing AI agents to operate a penumbra wallet.