Armchair type theorist.
-
PwC
- DC & Baltimore, USA
- https://damienstanton.com
- in/damienstanton
Highlights
Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Elm
- F#
- F*
- Fennel
- Flix
- Frege
- Futhark
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Nix
- Nu
- OCaml
- Objective-C
- PHP
- PLpgSQL
- PowerShell
- PureScript
- Python
- Racket
- ReScript
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Starlark
- Swift
- TeX
- TypeScript
- Verilog
- Vim Script
- Vue
- XSLT
- YAML
- ZenScript
- reStructuredText
12
results
for source starred repositories
written in TeX
Clear filter
The most cited deep learning papers
Latex code for making neural networks diagrams
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Exercises for the Deep Learning textbook at www.deeplearningbook.org
The Type Astronaut's Guide to Shapeless
The simple essence of automatic differentiation
Reinforcement Learning Cheat Sheet
Introduction to algebraic effects and handlers