Popular repositories Loading

1. eidi2_repetitorium_tum eidi2_repetitorium_tum Public archive

   This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.

   OCaml 16 8

2. engaging-large-scale-functional-programming engaging-large-scale-functional-programming Public

   Haskell 6 1

3. foss_course foss_course Public

   A university course template to teach about Free and Open-Source Software (FOSS)

   HTML 4 3

4. Isabelle-Set Isabelle-Set Public

   Soft types for Isabelle - bringing types to the world of set-theory.

   Isabelle 3 5

5. SpecCheck SpecCheck Public archive

   QuickCheck-like testing framework for Isabelle/ML

   Standard ML 2

6. actnow_email actnow_email Public

   Create email templates and share them with others; supports contact data backends.

   TypeScript 1