Pinned Loading

1. lambda-pro lambda-pro Public

   an interpreter for lambda calculus

   Prolog 5 3

2. automata automata Public

   Haskell implementations of automata

   Haskell 2

3. hlibcpuid hlibcpuid Public

   Haskell bindings to https://github.com/anrieff/libcpuid

   Haskell

4. skip-var skip-var Public

   Implementation of skip variables (a special case of skip channels)

   Haskell 1

5. ChaosGroup/system-info ChaosGroup/system-info Public

   A small library for getting the name of the OS

   C 9 1

6. hhwloc hhwloc Public

   Haskell bindings to https://github.com/open-mpi/hwloc

   Haskell