Alternatives and similar repositories for cs3100_m20

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

• kayceesrk / cs3100_m25

  View on GitHub
  IITM Paradigms of Programming -- Monsoon 2025
  ☆18Nov 17, 2025Updated 2 months ago
• Sudha247 / learn-ocaml-workshop

  View on GitHub
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Oct 28, 2023Updated 2 years ago
• lexi-lambda / racket-toolbox

  View on GitHub
  Miscellaneous Racket utilities lacking a better home
  ☆14Updated this week
• ArulselvanMadhavan / ocaml-ctfp

  View on GitHub
  OCaml version of Category Theory For Programmers
  ☆134Jan 29, 2020Updated 6 years ago
• robur-coop / miragevpn

  View on GitHub
  An opinionated implementation of the OpenVPN protocol
  ☆80Sep 12, 2025Updated 5 months ago
• ocaml-multicore / eio-trace

  View on GitHub
  Trace visualisation tool for Eio programs
  ☆16Sep 5, 2025Updated 5 months ago
• Sudha247 / ocaml5-tutorial-icfp-22

  View on GitHub
  ☆13Sep 15, 2022Updated 3 years ago
• tfausak / haskell-knowledge-base

  View on GitHub
  A knowledge map about Haskell powered by Obsidian.
  ☆16Aug 28, 2022Updated 3 years ago
• art-w / sherlocode

  View on GitHub
  Realtime grep for OCaml/Coq sources available on opam
  ☆87Sep 5, 2024Updated last year
• ahrefs / monorobot

  View on GitHub
  github monorepo bot - configurable directory tree notifications in slack
  ☆32Dec 22, 2025Updated last month
• siddhartha-gadgil / lean-loris

  View on GitHub
  Experiments with some ways of automating reasoning in lean 4
  ☆17Apr 20, 2024Updated last year
• xvw / kohai

  View on GitHub
  Kohai is a very simple (but opinionated) timetracker for my personal usage
  ☆13Oct 28, 2025Updated 3 months ago
• mirage / ocaml-fsevents

  View on GitHub
  macOS bindings to the FSEvents API
  ☆18Nov 24, 2025Updated 2 months ago
• madvorak / fecssk

  View on GitHub
  Formalisms Every Computer Scientist Should Know (course at ISTA)
  ☆15Feb 8, 2024Updated 2 years ago
• semgrep / little-learner-ocaml

  View on GitHub
  ☆14Aug 25, 2023Updated 2 years ago
• c-cube / mc2

  View on GitHub
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Jan 1, 2024Updated 2 years ago
• reflex-frp / reflex-gadt-api

  View on GitHub
  Interact with a JSON-serialized API defined by a GADT in your reflex-dom application
  ☆20Oct 19, 2025Updated 3 months ago
• dinakajoy / pen-it-down

  View on GitHub
  A simple note-taking app (WIP)
  ☆15Oct 20, 2025Updated 3 months ago
• git-bruh / vmm

  View on GitHub
  Small KVM-based hypervisor, boots Linux (WIP)
  ☆13May 5, 2024Updated last year
• fsbolero / awesome-bolero

  View on GitHub
  A curated list of Bolero samples, community projects, blogs and tutorials
  ☆12Jul 8, 2020Updated 5 years ago
• tmcgilchrist / ocaml-debug-performance

  View on GitHub
  Notes on OCaml debugging and performance
  ☆16Jan 29, 2026Updated 2 weeks ago
• robur-coop / memtrace-mirage

  View on GitHub
  Memtrace library for MirageOS
  ☆17Feb 17, 2025Updated 11 months ago
• anuragsoni / shuttle_http

  View on GitHub
  HTTP/1.1 server and client for ocaml (using Async)
  ☆23Apr 26, 2025Updated 9 months ago
• dinakajoy / mini_github_app_using_ocaml

  View on GitHub
  A simple app to test out irmin and dream
  ☆18Oct 18, 2025Updated 3 months ago
• alexfmpe / semantic-satiation

  View on GitHub
  ☆24Nov 5, 2025Updated 3 months ago
• dariusf / ppx_debug

  View on GitHub
  Tools for record-and-replay debugging
  ☆44Mar 9, 2023Updated 2 years ago
• ocaml-multicore / ocaml5-tutorial

  View on GitHub
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆213Mar 11, 2024Updated last year
• johnwhitington / mlbook

  View on GitHub
  OCaml from the Very Beginning
  ☆52Aug 27, 2025Updated 5 months ago
• fplaunchpad / iitm_ocaml_reading_group

  View on GitHub
  OCaml reading group at IIT Madras
  ☆25Sep 20, 2025Updated 4 months ago
• BeFunctional / haskell-rust-ffi

  View on GitHub
  ☆16Mar 29, 2023Updated 2 years ago
• mikesperber / icfp2020

  View on GitHub
  Material for ICFP 2020 tutorial on functional software architecture
  ☆17Sep 4, 2020Updated 5 years ago
• dariusf / ppx_interact

  View on GitHub
  Interactive breakpoints!
  ☆45Jan 9, 2026Updated last month
• robur-coop / miou

  View on GitHub
  A simple scheduler for OCaml 5
  ☆131Jan 27, 2026Updated 2 weeks ago
• triumphantomato / LispInFiveDays

  View on GitHub
  Let's learn about Lisp
  ☆21Apr 1, 2022Updated 3 years ago
• solvuu / awsm

  View on GitHub
  OCaml AWS Client
  ☆20Jul 10, 2023Updated 2 years ago
• askvortsov1 / hardcaml-mips

  View on GitHub
  ☆41May 19, 2022Updated 3 years ago
• ocaml / ocaml.org

  View on GitHub
  The official OCaml website.
  ☆183Updated this week
• aerospike / jemalloc

  View on GitHub
  Aerospike Fork of the JEMalloc Memory Allocator
  ☆26Updated this week
• purescript-contrib / purescript-ace

  View on GitHub
  Purescript bindings for the Ace editor
  ☆19Jan 9, 2023Updated 3 years ago