bugczw / Introduction-to-Functional-Programming-in-OCamlLinks
☆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
Sorting:
- Programs that are used in the Cousineau/Mauny books☆31Updated 3 years ago
- LablTk, an OCaml interface for Tcl/Tk☆34Updated 4 months ago
- Course on Metaprogramming☆56Updated 4 months ago
- Examples and Exercises for the book "More OCaml"☆63Updated 2 years ago
- Functional Programming in OCaml MOOC☆36Updated 5 years ago
- Awesome OCaml Gamedev☆13Updated 2 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 10 months ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆19Updated 2 years ago
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Updated 5 years ago
- A Tour of Standard ML (in the style of A Tour of Go)☆52Updated 3 years ago
- LablGTK 2 and 3: an interface to the GIMP Tool Kit☆93Updated 4 months ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 4 months ago
- Lang Party 2022☆25Updated 2 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Explore OCaml is a centralised source of workflows for being productive with OCaml using the OCaml Platform☆45Updated 4 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆62Updated 3 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated 11 months ago
- OCaml version of Category Theory For Programmers☆132Updated 5 years ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Updated 10 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated last week
- miniKanren in OCaml☆31Updated 2 years ago
- A basic snake game with js_of_ocaml.☆12Updated 7 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 7 years ago
- ☆51Updated 2 years ago
- OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API refere…☆28Updated 2 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Library for automatic unit testing of Standard ML modules☆71Updated 4 years ago
- Reference of basic commands to get comfortable with OCaml.☆79Updated 5 years ago