Lists (7)
Sort Name ascending (A-Z)
Stars
- All languages
- ANTLR
- Agda
- Assembly
- C
- C++
- CSS
- Cairo
- Circom
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Emacs Lisp
- Erlang
- GCC Machine Description
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Lean
- Makefile
- Markdown
- Nix
- OCaml
- Odin
- PHP
- Python
- Racket
- Ruby
- Rust
- SMT
- Sail
- Scala
- Shell
- Solidity
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- V
- Verilog
- Vyper
- WebAssembly
- Wikitext
- Yacc
- Yul
- Zig
- reStructuredText
8
stars
written in TeX
Clear filter
Introduction to Autonomous Robots
The "Yellow Paper": Ethereum's formal specification
An open-source, customizable intermediate logic textbook
Book in preparation: introduction to theoretical computer science
[ARCHIVED] Moved to https://docs.ipfs.io — papers to read to understand IPFS
Basic latex template for research or business whitepapers and discussion docs
This is a full version of the expository paper "PoW, PoS and DAGs are NOT consensus protocols"