Alternatives and similar repositories for Prog

Users that are interested in Prog are comparing it to the libraries listed below

• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆119Updated 7 months ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆72Updated 2 years ago
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆52Updated 7 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆133Updated last month
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆76Updated 3 months ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆86Updated 2 months ago
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆206Updated last year
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆252Updated 2 months ago
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆143Updated 4 months ago
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆130Updated last month
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆276Updated this week
• ArulselvanMadhavan / ocaml-ctfp
  OCaml version of Category Theory For Programmers
  ☆134Updated 5 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated last year
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆444Updated this week
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆113Updated this week
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆128Updated last month
• ocaml-multicore / awesome-multicore-ocaml
  A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
  ☆156Updated last year
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆118Updated 3 weeks ago
• janestreet / parallel
  OxCaml Parallelism
  ☆31Updated last month
• chshersh / zbg
  ✨ Zero Bullshit Git
  ☆229Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆82Updated last month
• ocurrent / ocurrent
  Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
  ☆143Updated 5 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 2 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆145Updated last week
• pedrobslisboa / ppx-by-example
  This repository contains examples to help on understanding what are and how to write PPXs in OCaml.
  ☆44Updated 8 months ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆178Updated 4 months ago
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated last week
• zed-extensions / ocaml
  OCaml support
  ☆24Updated 2 months ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆230Updated last week