christiankissig / ocaml99Links
99 Problems in OCaml
☆22Updated 9 years ago
Alternatives and similar repositories for ocaml99
Users that are interested in ocaml99 are comparing it to the libraries listed below
Sorting:
- A DSL/LISP dialect written in Haskell☆21Updated 7 years ago
- Compile-time metaprogramming for OCaml☆74Updated last year
- ☆55Updated 8 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- ☆49Updated 12 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 11 years ago
- ☆42Updated 9 years ago
- AI: Implementing Score4 (Connect four) in functional and imperative languages☆45Updated 2 years ago
- APL compiler written in Standard ML☆34Updated 4 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆127Updated 12 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- All the ML code examples from the book "The Little MLer"☆86Updated 15 years ago
- miniKanren for interactive tutorials on the web☆34Updated 3 months ago
- A redis client for Racket.☆17Updated 10 years ago
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- Bigloo Scheme Compiler☆12Updated 9 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- Algebraic structures for untyped Racket☆77Updated last year
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- Kenichi Asai's reflective programming language Black☆198Updated 3 years ago
- Shen on javascript.☆70Updated 7 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- ☆71Updated last week
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆12Updated 3 years ago
- ☆41Updated 10 years ago
- A new logic programming language.☆175Updated 2 years ago
- ☆74Updated 10 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago