Popular repositories Loading

1. triolet triolet Public

   A high-level parallel programming language for compute-intensive loops

   Haskell 7 1

2. rapidcheck rapidcheck Public

   Forked from emil-e/rapidcheck

   QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

   C++

3. Omega Omega Public

   Haskell bindings to Omega library for Presburger arithmetic

   Haskell

4. function-datastructures function-datastructures Public

   Programming tutorial on function encoding of sets and maps

   Haskell

5. nullius nullius Public

   Forked from GregorSamsanite/nullius

   Nullius overhaul mod for Factorio

   Lua

6. Alicorn0 Alicorn0 Public

   Forked from Fundament-Software/Alicorn0

   The Alicorn language, currently in early prototyping

   Lua