Popular repositories Loading

1. well-typed-agda-interpreter well-typed-agda-interpreter Public

   A well typed interpreter for the simply-typed lambda calculus written in Agda

   Agda 11 4

2. desc-n-crunch desc-n-crunch Public

   Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.

   Idris 11 3

3. numpyro_stein numpyro_stein Public

   Python 6

4. qsort-inline qsort-inline Public

   Apple's qsort implementation with support for inlined comparison (by macros)

   C++ 5

5. fflat-mdsliterals fflat-mdsliterals Public

   Extension of Fb with support for modular structured data literals (like XML, JSON, YAML etc.)

   F# 4

6. agda-moddom agda-moddom Public

   Modular Domains in Agda

   Agda 4