Popular repositories Loading

1. pul pul Public

   pul

   VHDL

2. mpi mpi Public

   C

3. cthulhu cthulhu Public

   Cthulhu [or any other cool/catchy name] - pure functional programming language with automatic parallelization - at least it is what I aim for.

   C++

4. cloudatlas cloudatlas Public

   Java

5. cthulhu_haskell cthulhu_haskell Public

   Haskell

6. coq coq Public

   Coq