bugczw / Introduction-to-Functional-Programming-in-OCaml
☆8Updated 6 years ago
Alternatives and similar repositories for Introduction-to-Functional-Programming-in-OCaml:
Users that are interested in Introduction-to-Functional-Programming-in-OCaml are comparing it to the libraries listed below
- Functional Programming in OCaml MOOC☆36Updated 5 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆19Updated last year
- the 7 gui project☆56Updated last year
- Awesome OCaml Gamedev☆12Updated 2 years ago
- This package implements genereric syntax for working with monads in R6RS scheme.☆25Updated 7 years ago
- The version of Pharo by Example for Pharo 90☆32Updated 7 months ago
- All the ML code examples from the book "The Little MLer"☆87Updated 14 years ago
- LablTk, an OCaml interface for Tcl/Tk☆34Updated 2 months ago
- A data frame implementation for Racket☆37Updated 10 months ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- A notional machine for the SMoL languages☆22Updated last year
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 8 months ago
- Shen for JavaScript☆59Updated 7 months ago
- ☆51Updated 2 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Programs that are used in the Cousineau/Mauny books☆31Updated 3 years ago
- The examples from "The Little MLer" in OCaml and ReasonML☆30Updated 4 years ago
- An implementation of the Lox language in Racket.☆33Updated last year
- The documentation for Pyret.☆9Updated this week
- simply-scheme language bindings for Racket☆15Updated 3 years ago
- virtualenv like tool for Racket☆31Updated 2 years ago
- The MLtonLibrary repository☆36Updated last year
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Racket libraries for scientific computing☆18Updated last month
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated 10 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated 4 months ago