Popular repositories Loading

1. hdm-fully-grounding hdm-fully-grounding Public

   Formalization of a fully grounding type inference algorithm for the HDM system

   Coq 2

2. lighthouse2 lighthouse2 Public archive

   Forked from jbikker/lighthouse2

   Lighthouse 2 framework for real-time ray tracing

   C++ 1

3. plfa plfa Public

   Forked from billyang98/plfa

   Example code and exercise solutions for plfa.github.io

   Agda 1 1

4. rogerbosman.github.io rogerbosman.github.io Public

   HTML

5. concepts-slide-template concepts-slide-template Public

   Forked from wouter-swierstra/concepts-slide-template

   TeX

6. accelerate-julia-sets accelerate-julia-sets Public

   Haskell