Popular repositories Loading

1. Pec Pec Public

   Push style event combinator in OCaml

   OCaml 14

2. AlloyAnalyzer AlloyAnalyzer Public

   Forked from beckus/AlloyAnalyzer

   An unofficial copy of MIT's Alloy Analyzer model checking tool.

   Java 4 1

3. ScalaMessengerPrototype ScalaMessengerPrototype Public

   Forked from sassembla/ScalaMessengerPrototype

   Java

4. optemplate optemplate Public

   ocaml project template using omake

   OCaml

5. typerex typerex Public

   Forked from danmey/typerex

   Development Studio for OCaml

   OCaml

6. ajhc ajhc Public

   Forked from ajhc/ajhc

   A fork of jhc. And also a Haskell compiler.

   Haskell