Pinned Loading

1. TypeTheory TypeTheory Public

   Forked from UniMath/TypeTheory

   The mathematical study of type theories, in univalent foundations

   Coq

2. learn-you-an-agda learn-you-an-agda Public

   Forked from liamoc/learn-you-an-agda

   Learn you an Agda (and achieve enlightenment)

   Haskell

3. llvm-hs-examples llvm-hs-examples Public

   Forked from llvm-hs/llvm-hs-examples

   Examples for Haskell bindings to LLVM

   Haskell

4. plt-study plt-study Public

   Forked from steshaw/plt

   A path to Programming Language Theory enlightenment

   1

5. elm-pwa-boilerplate elm-pwa-boilerplate Public

   Elm

6. stm stm Public

   Scanning Tunneling Microscope

   Python 4 1