Stars
- All languages
- Alloy
- Ballerina
- C
- C#
- C++
- Clojure
- CoffeeScript
- Common Lisp
- Dart
- Dockerfile
- Elixir
- Elm
- Erlang
- FreeBASIC
- Git Attributes
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Kotlin
- LiveScript
- Lua
- Makefile
- Objective-C
- Perl
- Python
- R
- Racket
- Reason
- Ruby
- Rust
- Scala
- Shell
- Solidity
- Starlark
- Swift
- TLA
- TeX
- TypeScript
- Vue
- WebAssembly
- Zig
4
stars
written in TeX
Clear filter
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
The "Yellow Paper": Ethereum's formal specification
A free book: "The Science of Functional Programming"