bugczw / Introduction-to-Functional-Programming-in-OCaml
☆8Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Introduction-to-Functional-Programming-in-OCaml
- LablGTK 2 and 3: an interface to the GIMP Tool Kit☆90Updated 5 months ago
- Darwin is a static blog generator written in Racket - forked from Frog☆18Updated 4 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆60Updated 2 years ago
- A notional machine for the SMoL languages☆21Updated last year
- Examples and Exercises for the book "More OCaml"☆60Updated 2 years ago
- OCaml version of Category Theory For Programmers☆125Updated 4 years ago
- All the ML code examples from the book "The Little MLer"☆86Updated 14 years ago
- Functional Programming in OCaml MOOC☆36Updated 4 years ago
- company-mode completion back-end for MLton/Standard ML☆14Updated 3 years ago
- awesome racket and scheme project☆94Updated last year
- Algebraic structures for untyped Racket☆75Updated 4 months ago
- This package implements genereric syntax for working with monads in R6RS scheme.☆26Updated 6 years ago
- Lang Party 2022☆24Updated 2 years ago
- CS3100: Paradigms of Programming at CSE IITM (Fall 2019)☆18Updated last year
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated last month
- Hope programming language interpreter☆40Updated 4 years ago
- Learning Racket☆32Updated 10 months ago
- Simple computer algebra system☆62Updated 2 months ago
- Course on Metaprogramming☆55Updated 2 years ago
- A Tour of Standard ML (in the style of A Tour of Go)☆48Updated 3 years ago
- Monads for Racket (!)☆21Updated 9 years ago
- LablTk, an OCaml interface for Tcl/Tk☆32Updated 5 months ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 6 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆35Updated 2 years ago
- Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …☆10Updated 2 years ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆60Updated 2 years ago
- Resources for "The Little Typer" study group☆47Updated 4 years ago
- Reference of basic commands to get comfortable with OCaml.☆80Updated 5 years ago
- A property-based testing library for Racket.☆29Updated 6 months ago
- A BASIC-flavored Lisp dialect☆72Updated last year