- All languages
- Agda
- Assembly
- Batchfile
- Bicep
- Blade
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Crystal
- Cython
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Go
- HTML
- Hack
- Haskell
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Less
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mojo
- Mustache
- Nunjucks
- OCaml
- Objective-C
- PHP
- PLpgSQL
- PlantUML
- PostScript
- PowerShell
- PureBasic
- Python
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smalltalk
- Starlark
- Swift
- TSQL
- TeX
- TypeScript
- V
- VBScript
- Vim Script
- Vue
- Wikitext
Starred repositories
8
stars
written in TeX
Clear filter
The most cited deep learning papers
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Course materials for Georgia Tech CS 4650 and 7650, "Natural Language"
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado