I may be slow to respond.
Research assistant, computer science M.Sc. I like knowledge representation methods for logics, type theories, math. Hobbywise, I dabble in Coq; fancies Scal
Stars
- All languages
- ANTLR
- ActionScript
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dhall
- Elm
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Kotlin
- Lean
- Lua
- Makefile
- Mathematica
- Mustache
- OCaml
- PHP
- Perl
- PowerShell
- PureScript
- Python
- Reason
- Ruby
- Rust
- SCSS
- Sage
- Scala
- Shell
- Svelte
- SystemVerilog
- TeX
- TypeScript
10
stars
written in TeX
Clear filter
👔 A collection of cv and resume templates written in LaTeX. Leave an issue if your language is not supported!
Library of the ##dependent distributed research support group
Collection of animals and other beings drawn in TikZ
Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
Designing a proof representation/interchange format as inspired by the Dagstuhl seminar on Universality of Proofs (2016)