Alternatives and similar repositories for cs3100_m25

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

• Sudha247 / ocaml5-tutorial-icfp-22
  ☆13Updated 3 years ago
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆58Updated 3 weeks ago
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆74Updated 3 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• claby2 / camlcade
  🐫🎮 OCaml Game Engine
  ☆45Updated 8 months ago
• janestreet / stdio
  Standard IO Library for OCaml
  ☆40Updated 3 weeks ago
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆16Updated 8 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 4 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆43Updated 4 years ago
• ocaml-multicore / awesome-multicore-ocaml
  A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
  ☆159Updated 2 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 3 weeks ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 4 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆60Updated last year
• lehy / ocaml-sklearn
  scikit-learn for OCaml
  ☆36Updated 5 years ago
• semgrep / little-learner-ocaml
  ☆14Updated 2 years ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆50Updated last week
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• OCamlPro / wasocaml
  ☆64Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆30Updated 11 months ago
• Fizzixnerd / ocaml-living
  A safer FFI interface for OCaml
  ☆11Updated last year
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆154Updated last week
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆70Updated 3 weeks ago
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆128Updated 3 weeks ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆35Updated this week
• art-w / gamelle
  2d game engine for OCaml
  ☆73Updated 2 weeks ago
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated last year
• tarides / ocaml-platform-installer
  The best way for developers to write software in OCaml
  ☆61Updated 2 years ago