christiankissig / ocaml99
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
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Compile-time metaprogramming for OCaml☆73Updated 9 months ago
- ☆55Updated 8 years ago
- Data structures and algorithms in OCaml☆49Updated 2 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- ☆50Updated 12 years ago
- a book about ocaml☆186Updated 8 years ago
- ☆41Updated 10 years ago
- miniKanren for interactive tutorials on the web☆33Updated 7 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- A redis client for Racket.☆17Updated 9 years ago
- AI: Implementing Score4 (Connect four) in functional and imperative languages☆45Updated 2 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated last week
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- The Definition of Standard ML, Revised (1997)☆114Updated 7 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- an attempt to implement miniKanren and microKanren in Python☆52Updated 10 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- TiML: A Functional Programming Language with Time Complexity☆79Updated 7 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- OCaml implementation of the K 2.0 array programming language☆81Updated 9 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago