Popular repositories Loading

1. idris-scientific idris-scientific Public

   Exploring the potential use of dependent types in scientific programming.

   Idris 5 1

2. tscheme tscheme Public

   6.945 final project - a scheme interpreter with type inference

   Scheme

3. minimal minimal Public

   Forked from pages-themes/minimal

   Minimal is a Jekyll theme for GitHub Pages

   CSS

4. advent-of-code advent-of-code Public

5. expected-lite expected-lite Public

   Forked from nonstd-lite/expected-lite

   expected lite - Expected objects in C++11 and later in a single-file header-only library

   C++

6. test test Public