Alternatives and similar repositories for textbook-solutions

Users that are interested in textbook-solutions are comparing it to the libraries listed below

• ocaml / ocaml.org
  The official OCaml website.
  ☆173Updated last week
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆50Updated 4 months ago
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆207Updated last year
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆244Updated last week
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆72Updated last month
• pedrobslisboa / ppx-by-example
  This repository contains examples to help on understanding what are and how to write PPXs in OCaml.
  ☆41Updated 5 months ago
• OCamlverse / ocamlverse.github.io
  Documentation of everything relevant in the OCaml world
  ☆182Updated 2 weeks ago
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆127Updated this week
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆143Updated this week
• ArulselvanMadhavan / ocaml-ctfp
  OCaml version of Category Theory For Programmers
  ☆132Updated 5 years ago
• gildor478 / ounit
  ☆93Updated 2 years ago
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆73Updated 2 years ago
• kiranandcode / petrol
  Petrol's an OCaml SQL API made to go FAST.
  ☆121Updated 7 months ago
• tarides / ocaml-platform-installer
  The best way for developers to write software in OCaml
  ☆61Updated last year
• uds-psl / Prog
  ☆83Updated 3 years ago
• Khady / modern-ocaml
  Template for an ocaml project with modern tooling
  ☆82Updated 3 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆50Updated 2 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆27Updated last year
• janestreet / ppx_expect
  Cram like framework for OCaml
  ☆159Updated this week
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆169Updated last week
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆82Updated 8 months ago
• clarksmr / sf-lectures
  Software Foundations
  ☆128Updated last year
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆161Updated 3 months ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆76Updated last week
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆143Updated 3 months ago
• kayceesrk / cs3100_f19
  CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
  ☆19Updated 2 years ago
• ocaml-sf / learn-ocaml
  A Web Application for Learning OCaml
  ☆311Updated this week
• janestreet / install-ocaml
  Instructions for setting up an OCaml development environment
  ☆97Updated 5 years ago
• johnwhitington / more-ocaml-exercises
  Examples and Exercises for the book "More OCaml"
  ☆63Updated 2 years ago
• art-w / sherlodoc
  Fuzzy type search for OCaml documentation
  ☆81Updated 9 months ago