Alternatives and similar repositories for cs3100_m25

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

• claby2 / camlcade
  🐫🎮 OCaml Game Engine
  ☆44Updated 5 months ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆23Updated last year
• Sudha247 / ocaml5-tutorial-icfp-22
  ☆13Updated 2 years ago
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆73Updated 2 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 7 months ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 5 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆63Updated last month
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆53Updated 7 months ago
• hesterjeng / longleaf
  OCaml Algorithmic Trading
  ☆22Updated this week
• Fizzixnerd / ocaml-living
  A safer FFI interface for OCaml
  ☆11Updated last year
• semgrep / little-learner-ocaml
  ☆14Updated 2 years ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 7 months ago
• lehy / ocaml-sklearn
  scikit-learn for OCaml
  ☆36Updated 4 years ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆58Updated last year
• ocaml-sys / libc.ml
  Raw bindings to platform APIs for OCaml
  ☆16Updated last year
• gridbugs / climate
  A declarative command-line parser for OCaml
  ☆44Updated 2 weeks ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated this week
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆48Updated this week
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆39Updated 8 months ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• tarides / ocaml-platform-installer
  The best way for developers to write software in OCaml
  ☆61Updated 2 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆60Updated last year
• art-w / gamelle
  2d game engine for OCaml
  ☆65Updated 5 months ago
• prismlab / iitm_ocaml_reading_group
  OCaml reading group at IIT Madras
  ☆22Updated last week
• OCamlPro / wasocaml
  ☆62Updated 10 months ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆42Updated 4 years ago