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
4
stars
written in Rust
Clear filter
A new markup-based typesetting system that is powerful and easy to learn.