Stars
- All languages
- APL
- ATS
- Ada
- Agda
- Assembly
- BQN
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- Cuda
- D
- Emacs Lisp
- F#
- F*
- Forth
- Fortran
- FreeBASIC
- GAP
- GLSL
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- LLVM
- Lean
- LiveScript
- Lua
- MATLAB
- Macaulay2
- Makefile
- Mathematica
- Mercury
- Modelica
- OCaml
- Objective-C
- PLpgSQL
- Perl
- PostScript
- Prolog
- Python
- RPC
- Racket
- Raku
- Rebol
- Red
- Rocq Prover
- Ruby
- Rust
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- SystemVerilog
- TLA
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- YASnippet
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.
biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports UTF-8
CircuiTikZ TeX/LaTeX package for drawing circuits
Research on integrating datalog & lambda calculus via monotonicity types
A Super Fast Multithreaded malloc() for 64-bit Machines
the statistics handbook open source repository
XeLaTeX/LuaLaTeX package for using unicode/OpenType maths fonts
Proposals for the Fortran Standard Committee
Traits, generics, and modern-day OOP proposal for Fortran