Popular repositories Loading

1. PrinType PrinType Public

   Generates formal proofs for principal type deductions of terms in the simply typed lambda calculus.

   Haskell 1

2. ElementSpeller ElementSpeller Public

   Checks if you can spell words with the periodic table, a simple C# project.

   C#

3. JuliaSetExplorer JuliaSetExplorer Public

   A quick C# to generate Julia sets

   C#

4. TodoList TodoList Public

   Learning backbone.js by imitating todos.js

5. richiecakes.github.io richiecakes.github.io Public

   A backbone.js powered site for creating sticky notes

   JavaScript

6. haskulator haskulator Public

   A calculator web app running on a Haskell back-end

   JavaScript