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
- LablTk, an OCaml interface for Tcl/Tk☆34Updated this week
- Programs that are used in the Cousineau/Mauny books☆31Updated 3 years ago
- Examples and Exercises for the book "More OCaml"☆62Updated 2 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated last week
- This package implements genereric syntax for working with monads in R6RS scheme.☆26Updated 6 years ago
- company-mode completion back-end for MLton/Standard ML☆14Updated 4 years ago
- S-expression swiss knife☆44Updated 2 months ago
- Examples and exercises for the OCaml Book "OCaml from the Very Beginning"☆34Updated 2 years ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆19Updated last year
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- 👨🏻💻 Command line interface for user input☆36Updated 5 years ago
- Course on Metaprogramming☆55Updated last week
- An OCaml toplevel (REPL) upgrade☆85Updated 2 weeks ago
- OCaml version of Category Theory For Programmers☆128Updated 5 years ago
- A reference sheet for the basics of the mind-expanding Haskell language ^_^☆30Updated 4 years ago
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 13 years ago
- A BASIC-flavored Lisp dialect☆72Updated last year
- Useful things for Standard ML☆62Updated 3 months ago
- SML On Stilts☆37Updated 10 years ago
- Data structures and algorithms in OCaml☆49Updated 2 years ago
- The version of Pharo by Example for Pharo 90☆31Updated 5 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆56Updated 8 months ago
- All the ML code examples from the book "The Little MLer"☆87Updated 14 years ago
- Ocaml Space-Invader implementation using OpenGL☆31Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- A GH action for installing Racket.☆52Updated 5 months ago
- The examples from "The Little MLer" in OCaml and ReasonML☆30Updated 4 years ago
- LablGTK 2 and 3: an interface to the GIMP Tool Kit☆91Updated this week
- A simple cross-platform OCaml code editor built for top-level evaluation.☆64Updated last year