Alternatives and similar repositories for cs3100_m25

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

• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆71Updated 2 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆72Updated last year
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆56Updated 9 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆29Updated 9 months ago
• Sudha247 / ocaml5-tutorial-icfp-22
  ☆13Updated 3 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• claby2 / camlcade
  🐫🎮 OCaml Game Engine
  ☆45Updated 7 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated last week
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 4 years ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆16Updated 7 months ago
• ebresafegaga / tina
  Tina, a programming language with typed algebraic effects and handlers.
  ☆13Updated 4 years ago
• ocaml-multicore / awesome-multicore-ocaml
  A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
  ☆157Updated 2 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆43Updated 4 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 3 weeks ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆132Updated 4 months ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• semgrep / little-learner-ocaml
  ☆14Updated 2 years ago
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆41Updated 2 weeks ago
• lehy / ocaml-sklearn
  scikit-learn for OCaml
  ☆36Updated 4 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆47Updated 2 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆151Updated this week
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆75Updated 3 years ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆53Updated this week
• janestreet / parallel
  OxCaml Parallelism
  ☆33Updated last month
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆50Updated 3 weeks ago
• janestreet / stdio
  Standard IO Library for OCaml
  ☆40Updated 3 weeks ago
• vyorkin / tiger
  A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
  ☆24Updated 3 years ago
• OCamlPro / wasocaml
  ☆64Updated last year
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆60Updated last year