christiankissig / ocaml99
99 Problems in OCaml
☆22Updated 8 years ago
Alternatives and similar repositories for ocaml99:
Users that are interested in ocaml99 are comparing it to the libraries listed below
- A redis client for Racket.☆17Updated 9 years ago
- ☆55Updated 7 years ago
- ☆49Updated 12 years ago
- ☆42Updated 8 years ago
- Compile-time metaprogramming for OCaml☆72Updated 5 months ago
- Purely Functional Data Structures☆34Updated 12 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 11 years ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- A small demo lambda-language written in Python☆31Updated 6 years ago
- An R5RS Scheme in JavaScript.☆16Updated last year
- ☆73Updated 10 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- miniKanren for interactive tutorials on the web☆33Updated 7 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- An abstract machine for analyzing Racket bytecode.☆29Updated 3 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago
- Shen on javascript.☆69Updated 6 years ago
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 5 years ago
- All the ML code examples from the book "The Little MLer"☆87Updated 14 years ago
- ☆67Updated last week
- A small implementation of type inference☆78Updated 9 years ago
- The LVish Haskell library☆80Updated 2 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago