Popular repositories Loading

1. aliceml aliceml Public

   A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming

   224 17

2. aliceml-alice aliceml-alice Public

   Alice ML implementation

   Scheme 17 2

3. aliceml-seam aliceml-seam Public

   Simple Extensible Abstract Machine VM

   C++ 9 1

4. aliceml-seam-support aliceml-seam-support Public

   Support files for building the SEAM VM

   C 4

5. aliceml-make aliceml-make Public

   Build files for Alice ML

   Makefile 1

6. gecode gecode Public

   Forked from Gecode/gecode

   Generic Constraint Development Environment

   C++