Popular repositories Loading

1. ReteFSharp ReteFSharp Public

   Implementation of the rete algorithm from Doorenbos

   F# 2

2. verified-monkey-island verified-monkey-island Public

   Forked from kfl/verified-monkey-island

   Standard ML 1 1

3. jiffy jiffy Public

   Forked from hlian/jiffy

   Parser combinators, for Swift

   Swift 1 1

4. FluxSwiftWordList FluxSwiftWordList Public

   Swift 1

5. MiniLang MiniLang Public

   A minimal functional programming language

   Haskell 1

6. datalog-parser datalog-parser Public

   Forked from replikativ/datalog-parser

   Generic datalog parser compliant to datomic, datascript and datahike queries.

   Clojure 1