Alternatives and similar repositories for learn-ocaml-workshop:

Users that are interested in learn-ocaml-workshop are comparing it to the libraries listed below

• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆44Updated last month
• kayceesrk / cs3100_f19
  CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
  ☆19Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last month
• fpottier / baby
  A balanced binary search tree library for OCaml
  ☆21Updated 2 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• riot-ml / scarab
  Benchmarking framework for OCaml
  ☆23Updated last year
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 7 months ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆17Updated last week
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 4 months ago
• art-w / babiseat
  add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs
  ☆16Updated last year
• chshersh / chshersh.github.io
  My website
  ☆23Updated last month
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆11Updated 3 years ago
• owlbarn / tutorial
  Owl Tutorial
  ☆6Updated 2 months ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 3 months ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated last month
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• janestreet / re2
  OCaml bindings for RE2
  ☆45Updated 3 months ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆29Updated 3 years ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 4 months ago
• aryx / ocaml-elm-playground
  Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.
  ☆21Updated last month
• tarides / hackocaml
  OCaml hacking ideas, small and large.
  ☆19Updated 10 months ago
• gridbugs / climate
  A declarative command-line parser for OCaml
  ☆41Updated 3 weeks ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 8 months ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 3 years ago
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆50Updated 10 months ago
• mmottl / ocaml-prog-pats
  OCaml Programming Patterns - random tricks, "design patterns", etc.
  ☆52Updated last month
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 7 months ago
• ocaml-explore / explore
  Explore OCaml is a centralised source of workflows for being productive with OCaml using the OCaml Platform
  ☆45Updated 4 years ago
• johnwhitington / mlbook
  OCaml from the Very Beginning
  ☆49Updated last year