#
Associate Professor in Logical Foundations and Formal Methods
-
University of Cambridge
- Cambridge, Cambridgeshire, UK
- http://www.jonmsterling.com
- @jonmsterling@mathstodon.xyz
Highlights
- Pro
Lists (4)
Sort Name ascending (A-Z)
- All languages
- Agda
- C
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Dafny
- Elixir
- Elm
- Emacs Lisp
- F*
- Fancy
- Go
- HTML
- Haskell
- Idris
- Io
- JavaScript
- Jupyter Notebook
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- Perl
- Prolog
- PureScript
- Python
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Standard ML
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- Typst
- Vim Script
- XSLT
Starred repositories
9
stars
written in XSLT
Clear filter
An English translation of Deligne's three "Hodge theory" papers
XSLT-based namespace normalizer for XML documents
forked from git.sr.ht/~jonsterling/forester-base-theme
My forest for natural sciences, built using forester.