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
  ☆74Updated 3 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆31Updated last year
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆58Updated 2 months ago
• Sudha247 / ocaml5-tutorial-icfp-22
  ☆13Updated 3 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆17Updated 10 months ago
• claby2 / camlcade
  🐫🎮 OCaml Game Engine
  ☆44Updated 10 months ago
• OCamlPro / wasocaml
  ☆64Updated last year
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 2 months ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆72Updated 2 weeks ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆43Updated 5 years ago
• semgrep / little-learner-ocaml
  ☆14Updated 2 years ago
• komamitsu / oraft
  Library of Raft consensus algorithm implemented in OCaml
  ☆31Updated 2 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆36Updated last week
• janestreet / stdio
  Standard IO Library for OCaml
  ☆40Updated 2 weeks ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆50Updated last month
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 4 years ago
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated last year
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆32Updated 14 years ago
• lehy / ocaml-sklearn
  scikit-learn for OCaml
  ☆36Updated 5 years ago
• Fizzixnerd / ocaml-living
  A safer FFI interface for OCaml
  ☆11Updated last year
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• ocaml-multicore / awesome-multicore-ocaml
  A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
  ☆159Updated 2 years ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆25Updated 2 years ago
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated last year
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 2 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆60Updated last year
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆32Updated 4 years ago
• sdiehl / zero-to-qed
  From Zero to QED: An informal introduction to formality with Lean 4
  ☆87Updated last week