Popular repositories Loading

1. hjs hjs Public

   Haskell JavaScript Parser

   JavaScript 1

2. ott ott Public

   Forked from ott-lang/ott

   Ott is a tool for writing definitions of programming languages and calculi

   OCaml 1

3. virtual_background virtual_background Public

   Creating Virtual Background for Conference Calls

   Python 1

4. isabelle-accessible-maths isabelle-accessible-maths Public

   Introduction to probability using Isabelle.

   Isabelle

5. isabelle-frp isabelle-frp Public

   Exploration of Functional Reactional Programming using the Isabelle theorem prover.

6. mpwassell.github.io mpwassell.github.io Public