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
- AI: Implementing Score4 (Connect four) in functional and imperative languages☆45Updated 3 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- Compile-time metaprogramming for OCaml☆75Updated last year
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆128Updated 12 years ago
- Strange Loop 2014 archives☆188Updated 11 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 15 years ago
- ☆49Updated 12 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- ☆55Updated 8 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago
- ☆43Updated 9 years ago
- Solving "99 List Problems" using Objective Caml☆84Updated 7 years ago
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆90Updated 12 years ago
- Reimplement Cirru Editor in Respo.☆34Updated 3 months ago
- Codes related to Idris☆16Updated 10 years ago
- Kenichi Asai's reflective programming language Black☆198Updated 3 years ago
- Examples of the nice parts of Racket☆22Updated 8 years ago
- All code examples from "The Little Prover" book☆23Updated 10 years ago
- ☆74Updated 10 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- Shen on javascript.☆71Updated 7 years ago
- an attempt to implement miniKanren and microKanren in Python☆54Updated 11 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 7 years ago
- An R5RS Scheme in JavaScript.☆17Updated 3 weeks ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- [Deprecated] using respo-cirru-editor instead☆30Updated 9 years ago