christiankissig / ocaml99
99 Problems in OCaml
☆23Updated 8 years ago
Related projects: ⓘ
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆125Updated 11 years ago
- miniKanren for interactive tutorials on the web☆32Updated 7 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 10 years ago
- An abstract machine for analyzing Racket bytecode.☆28Updated 3 years ago
- MLton with Realtime GC and Threading features☆102Updated 6 months ago
- All code examples from "The Little Prover" book☆23Updated 8 years ago
- ☆43Updated last month
- Propositional calculus in Haskell☆11Updated 7 years ago
- A small demo lambda-language written in Python☆31Updated 6 years ago
- The 2015 ICFP Programming Contest☆7Updated 8 years ago
- Sild is a lisp dialect☆44Updated 6 years ago
- Strange Loop 2014 archives☆188Updated 9 years ago
- A redis client for Racket.☆17Updated 9 years ago
- ☆41Updated 9 years ago
- ☆41Updated 8 years ago
- ☆73Updated 10 years ago
- AI: Implementing Score4 (Connect four) in functional and imperative languages☆44Updated last year
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago
- A simple "columnar database" based on memory-mapped files, written in APL☆31Updated 4 years ago
- World's dumbest fuzzer☆51Updated 9 months ago
- KDB bindings for lua☆27Updated 4 years ago
- A Python 3 compiler that anyone can understand.☆68Updated 10 years ago
- Redis bindings for Racket☆15Updated last year
- An R5RS Scheme in JavaScript.☆16Updated last year
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago