Highlights
Lists (1)
Sort Name ascending (A-Z)
- All languages
- AsciiDoc
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Circom
- Clojure
- CodeQL
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F*
- Fennel
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Io
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Max
- Mojo
- Nearley
- Nim
- Nix
- OCaml
- PHP
- Perl
- Prolog
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Sass
- Scala
- Shell
- Smarty
- Solidity
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- TeX
- Thrift
- Tree-sitter Query
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vim Snippet
- Vue
- Vyper
- WebAssembly
- Wikitext
- Zig
- eC
- hoon
- reStructuredText
Starred repositories
rkrasiuk / zk-ress
Forked from paradigmxyz/ressThe implementation of Stateless Ethereum client based on Reth
anza-xyz / agave
Forked from solana-labs/solanaWeb-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Gas benchmark research repository
ading2210 / doompdf
Forked from ozkl/doomgenericA port of Doom (1993) that runs inside a PDF file
Philogy / create3crunch
Forked from 0age/create2crunchA Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.
jameswdelancey / llama3.c
Forked from karpathy/llama2.cA faithful clone of Karpathy's llama2.c (one file inference, zero dependency) but fully functional with LLaMA 3 8B base and instruct models.
NethermindEth / rollup-geth
Forked from ethereum/go-ethereumFork of go-ethereum tailored for L2 Rollups
novus677 / witness-encryption-functional-commitment
Forked from vicsn/witness-encryption-functional-commitmentBased on https://eprint.iacr.org/2022/1510
jart / sqlite-vec
Forked from asg017/sqlite-vecWork-in-progress vector search SQLite extension that runs anywhere.
cloudflare / zlib
Forked from madler/zlibCloudflare fork of zlib with massive performance improvements
houqp / qmk_firmware
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
kata-containers / cgroups-rs
Forked from levex/cgroups-rsNative Rust library for managing control groups under Linux
noDRM / DeDRM_tools
Forked from apprenticeharper/DeDRM_toolsDeDRM tools for ebooks
cognitive-engineering-lab / rust-book
Forked from rust-lang/bookThe Rust Programming Language: Experimental Edition
thpoll83 / qmk_firmware
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
redpig / briolette
Forked from google/brioletteBriolette is an experimental framework for researching offline digital currency designs.
Determinant / cordwood
Forked from ava-labs/firewood-mitNon-archival blockchain key-value store with fast recent state retrieval.
ttys3 / git-cz
Forked from convco/convcoconventional commits tool with fuzzy matcher support, with extra changelog, versioning, validation feature.
asonnino / narwhal
Forked from facebookresearch/narwhalImplementation of BFT consensus protocols based on the Narwhal mempool.
xoreaxeaxeax / movfuscator
Forked from Battelle/movfuscatorThe single instruction C compiler
op-rs / op-reth
Forked from paradigmxyz/rethModular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
tikv / jemallocator
Forked from gnzlbg/jemallocatorRust allocator using jemalloc as a backend
VinayNR / node-crawler
Forked from ethereum/node-crawlerAttempts to crawl the Ethereum network of valid Ethereum Nodes and visualizes them in a nice web dashboard.
testinprod-io / op-erigon
Forked from protolambda/erigonOptimism implementation on the efficiency frontier
AsahiLinux / linux
Forked from torvalds/linuxLinux kernel source tree
xoreaxeaxeax / sinkhole
Forked from Battelle/sinkholeArchitectural privilege escalation on x86