Pinned Loading

1. AoPL AoPL Public

   Forked from w7cook/AoPL

   A book on programming languages, using Haskell

   Haskell

2. coq-haskell coq-haskell Public

   Forked from jwiegley/coq-haskell

   A library for formalizing Haskell types and functions in Coq

   Coq

3. dotfiles dotfiles Public

   Forked from mathiasbynens/dotfiles

   🔧 .files, including ~/.macos — sensible hacker defaults for macOS

   Shell

4. ReWire ReWire Public

   Forked from rewire-hardware/ReWire

   Experimental compiler for a subset of Haskell to VHDL

   VHDL

5. sn-stlc-de-bruijn-coq sn-stlc-de-bruijn-coq Public

   Forked from ezrakilty/sn-stlc-de-bruijn-coq

   Strong Normalization for Simply-Typed Lambda-Calculus with de Bruijn indices in Coq

   Coq

6. tapl tapl Public

   Forked from kseo/tapl

   Typechecker Implementations of Types and Programming Languages

   OCaml