Alternatives and similar repositories for software-foundations-book

Users that are interested in software-foundations-book are comparing it to the libraries listed below

• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆16Updated 10 years ago
• ocamllabs / icfp2016-blog
  Canopy blog data that powers ICFP liveblog
  ☆16Updated 9 years ago
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆47Updated 9 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆57Updated 9 years ago
• kmicinski / example-ocaml-merlin
  An example of a simple project in OCaml that uses Merlin
  ☆37Updated 10 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated 2 years ago
• tel / ocaml-cats
  Signatures of the category theoretic style; a experiment in flattery
  ☆25Updated 10 years ago
• mor1 / mirage-tutorial
  MirageOS tutorial notebooks using IOCaml
  ☆16Updated 8 years ago
• UCSD-PL / kraken
  ☆30Updated 11 years ago
• camlspotter / ocamloscope
  OCaml API search engine
  ☆24Updated 9 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 9 years ago
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆38Updated 3 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• andreas / mirage-swim
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Updated 9 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆42Updated 7 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆35Updated 11 years ago
• yansh / MoanaML
  Moana implementation in OCaml
  ☆16Updated 10 years ago
• kayceesrk / Quelea
  A Haskell library for declarative programming over eventually consistent store (Cassandra).
  ☆18Updated 7 years ago
• MassD / pearls
  ☆28Updated 11 years ago
• fxfactorial / ocaml-javascriptcore
  Create, Control, Execute JavaScript in OCaml. Think of the possibilities.
  ☆29Updated 9 years ago
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆28Updated 2 years ago
• agda-attic / agda-ocaml
  OCaml backend for Agda
  ☆39Updated 7 years ago
• rlepigre / pml
  New version of the PML language and (classical) proof assistant
  ☆21Updated 3 years ago
• rlepigre / subml
  SubML (prototype) language
  ☆22Updated 3 years ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆82Updated 7 years ago
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆38Updated 6 years ago
• cuplv / raz.ocaml
  Random Access Zipper in OCaml
  ☆14Updated 9 years ago
• samoht / assemblage
  A collection of tools to manage the configuration of OCaml projects
  ☆53Updated 10 years ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 3 years ago