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
xoreaxeaxeax / movfuscator
Forked from Battelle/movfuscatorThe single instruction C compiler
noDRM / DeDRM_tools
Forked from apprenticeharper/DeDRM_toolsDeDRM tools for ebooks
Rust-for-Linux / linux
Forked from torvalds/linuxAdding support for the Rust language to the Linux kernel.
ading2210 / doompdf
Forked from ozkl/doomgenericA port of Doom (1993) that runs inside a PDF file
AsahiLinux / linux
Forked from torvalds/linuxLinux kernel source tree
anza-xyz / agave
Forked from solana-labs/solanaWeb-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
mds1 / multicall3
Forked from sky-ecosystem/multicallMulticall: Aggregate multiple constant function call results into one
cognitive-engineering-lab / rust-book
Forked from rust-lang/bookThe Rust Programming Language: Experimental Edition
palkeo / panoramix
Forked from eveem-org/panoramixEthereum decompiler
xoreaxeaxeax / sinkhole
Forked from Battelle/sinkholeArchitectural privilege escalation on x86
flashbots / mev-geth
Forked from ethereum/go-ethereumGo implementation of MEV-Auction for Ethereum
cloudflare / zlib
Forked from madler/zlibCloudflare fork of zlib with massive performance improvements
distribuyed / index
Forked from eliooses/BTCardsA comprehensive list of decentralized exchanges (DEX) of cryptocurrencies, tokens, derivatives and futures, and their protocols.
tikv / jemallocator
Forked from gnzlbg/jemallocatorRust allocator using jemalloc as a backend
r0-zero / picom
Forked from yshui/picomMore than 10 unique animation supported picom fork (open window, tag change, fading ...)
ethereum / pydevp2p
Forked from heikoheiko/pydevp2pPython Implementation of the Ethereum P2P stack
sipa / bips
Forked from bitcoin/bipsBitcoin Improvement Proposals
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.
kata-containers / cgroups-rs
Forked from levex/cgroups-rsNative Rust library for managing control groups under Linux
asonnino / narwhal
Forked from facebookresearch/narwhalImplementation of BFT consensus protocols based on the Narwhal mempool.
testinprod-io / op-erigon
Forked from protolambda/erigonOptimism implementation on the efficiency frontier
cenut / vanity-eth-gpu
Forked from johguse/profanityVanity address generator for Ethereum
op-rs / op-reth
Forked from paradigmxyz/rethModular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
zkcrypto / merlin
Forked from dalek-cryptography/merlinComposable proof transcripts for public-coin arguments of knowledge
bitcoin-inquisition / bitcoin
Forked from bitcoin/bitcoinBitcoin Core integration/staging tree
houqp / qmk_firmware
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
CornellBlockchain / bamboo
Forked from pirapira/bambooBamboo: a morphing smart contract language