Pinned Loading

1. SequenTT SequenTT Public

   SequenTT is a small ML-like language with dependent types and universe herarchy.

   Haskell 1 1

2. cubika cubika Public

   A functional programming language with dependent types.

   Haskell 1

3. jules jules Public

   Jules is intended to be a statically typed Lisp flavor.

   Rust 1

4. marTTa marTTa Public

   A Programming language with Scala inspired syntax and static typechecking

   Rust 1

5. luisvgs.github.io luisvgs.github.io Public

   My personal blog page.

   HTML 1 1

6. maude-mode maude-mode Public

   Personal maude-mode for my emacs config while I work on my master's thesis.

   Emacs Lisp