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
3
results
for source starred repositories
written in HTML
Clear filter
Templates for creating scientific, academic and technical documents using Markdown and Pandoc that support equations, code blocks, citations, Unicode symbols and vector graphics.