Pinned Loading

1. martta martta Public

   A Programming language with Scala inspired syntax and static typechecking

   Rust

2. jules jules Public

   Jules is intended to be a statically typed Lisp flavor.

   Rust

3. luisvgs.github.io luisvgs.github.io Public

   My personal blog page.

   HTML 1

4. dotfiles dotfiles Public

   My personal configuration files

   Emacs Lisp 1

5. evidence evidence Public

   A CLI tool for easily tracking and visualizing the latest bugs reported.

   Scala 2

6. cubika cubika Public

   A functional programming language with dependent types.

   Haskell