Popular repositories Loading

1. llvm llvm Public

   Forked from scottgw/llvm

   Haskell bindings to the LLVM compiler infrastructure project.

   Haskell 1

2. monad-tutorial monad-tutorial Public

   Forked from jnewbern/monad-tutorial

   Monad tutorial development for ILC '09

   Clojure 1

3. geniplate geniplate Public

   Forked from augustss/geniplate

   Use TH to generate uniplate-like functions.

   Haskell

4. bsc bsc Public

   Forked from B-Lang-org/bsc

   Bluespec Compiler (BSC)

   Bluespec

5. bsc-testsuite bsc-testsuite Public

   Forked from B-Lang-org/bsc-testsuite

   Test suite for Bluespec Compiler (BSC)

   Bluespec

6. bsc-contrib bsc-contrib Public

   Forked from B-Lang-org/bsc-contrib

   A place to share libraries and utilities that don't belong in the core bsc repo

   Bluespec