Alternatives and similar repositories for kmclib

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

• keigoi / ocaml-mpst

  View on GitHub
  Multiparty Session Types in OCaml
  ☆59Nov 1, 2024Updated last year
• yudaitnb / vl

  View on GitHub
  PWV Functional Language
  ☆15Oct 30, 2023Updated 2 years ago
• nickng / migo

  View on GitHub
  MiGo types library in Go
  ☆11Apr 18, 2020Updated 5 years ago
• sapristi / easy_logging

  View on GitHub
  Logging module for OCaml
  ☆11Aug 1, 2021Updated 4 years ago
• dwango / fialyzer

  View on GitHub
  [WIP] Faster Implementation of Dialyzer
  ☆56Apr 4, 2024Updated last year
• xnning / Consistent-Subtyping-for-All

  View on GitHub
  Haskell implementation and Coq proof for an implicit polymorphic gradual type system.
  ☆17May 27, 2020Updated 5 years ago
• SimonJF / mbcheck

  View on GitHub
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆20Jan 15, 2026Updated 3 weeks ago
• rvantonder / hack_parallel

  View on GitHub
  The core parallel and shared memory library used by Hack, Flow, and Pyre
  ☆42Feb 27, 2021Updated 4 years ago
• nojb / ocaml-obj-printer

  View on GitHub
  ☆21Mar 6, 2019Updated 6 years ago
• tomokinakamaru / silverchain

  View on GitHub
  Fluent API generator
  ☆42Jan 23, 2026Updated 3 weeks ago
• d0iasm / minigo

  View on GitHub
  Minimum Go compiler
  ☆22Sep 22, 2019Updated 6 years ago
• ushitora-anqou / waq

  View on GitHub
  Yet another ActivityPub server implementation written in OCaml
  ☆49Dec 25, 2025Updated last month
• nuscr / nuscr

  View on GitHub
  A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
  ☆29Oct 20, 2025Updated 3 months ago
• arenadotio / sentry-ocaml

  View on GitHub
  A work-in-progress OCaml client for Sentry
  ☆27Aug 12, 2022Updated 3 years ago
• ocaml-multicore / eventlog-tools

  View on GitHub
  Tools for the runtime tracing in OCaml 4.11.0 and higher
  ☆31Mar 14, 2023Updated 2 years ago
• effect-handlers / wasm-effect-handlers

  View on GitHub
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆33Jun 10, 2022Updated 3 years ago
• yusukebe / hono-examples

  View on GitHub
  My Hono examples
  ☆28Jul 16, 2023Updated 2 years ago
• KOBA789 / rust-reversi

  View on GitHub
  Cookpad Spring 1day Internship 2018 Rust プログラミングコースで使用された講義資料
  ☆31Apr 17, 2018Updated 7 years ago
• hiroshi-unno / coar

  View on GitHub
  Collection of Automated Reasoners
  ☆35Dec 9, 2025Updated 2 months ago
• SDNNetSim / FUSION

  View on GitHub
  FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…
  ☆13Jan 30, 2026Updated 2 weeks ago
• keigoi / session-ocaml

  View on GitHub
  An implementation of binary session types in OCaml
  ☆38Jun 3, 2019Updated 6 years ago
• nickng / gong

  View on GitHub
  Gong liveness and channel safety checker
  ☆31Dec 1, 2017Updated 8 years ago
• NathanReb / ppx_yojson

  View on GitHub
  OCaml PPX extension for JSON literals and patterns
  ☆45Mar 11, 2024Updated last year
• avsm / ocaml-print-intf

  View on GitHub
  Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form
  ☆42Jun 30, 2022Updated 3 years ago
• mixi-git-challenge / git-challenge-minesweeper

  View on GitHub
  Git Challenge Quiz
  ☆11Nov 12, 2018Updated 7 years ago
• jhckragh / SMLDoc

  View on GitHub
  SMLDoc, detached from the SML# distribution
  ☆11Oct 22, 2011Updated 14 years ago
• mattn / entgo-bbs

  View on GitHub
  ☆10May 17, 2022Updated 3 years ago
• GT-NucleicAcids / pnab

  View on GitHub
  ☆13Mar 26, 2024Updated last year
• jdaymude / xbox2local

  View on GitHub
  A command line utility for downloading Xbox screenshots and game clips to local storage
  ☆10Apr 22, 2024Updated last year
• sealuzh / msr18-docker-dataset

  View on GitHub
  Structured Information on State and Evolution of Dockerfiles - Online Appendix
  ☆10Mar 16, 2018Updated 7 years ago
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 3 years ago
• christian-public / typedtext.io

  View on GitHub
  ☆10Sep 28, 2020Updated 5 years ago
• DEIS-Tools / AalWiNes

  View on GitHub
  ☆11Sep 8, 2022Updated 3 years ago
• seancribbs / essentials-of-compilation

  View on GitHub
  ☆16Nov 2, 2025Updated 3 months ago
• YuyaMurakamiMath / My_TeX_template

  View on GitHub
  ☆18Dec 26, 2025Updated last month
• DFC-OpenSource / DFC-sdk

  View on GitHub
  ☆10Oct 3, 2018Updated 7 years ago
• bloomberg / ppx_string_interpolation

  View on GitHub
  PPX rewriter that enables string interpolation in OCaml
  ☆44Jun 30, 2025Updated 7 months ago
• jmackie / reasonml.nix

  View on GitHub
  Nix derivations for ReasonML
  ☆12Sep 4, 2019Updated 6 years ago
• lanl-ansi / PowerWaterModels.jl

  View on GitHub
  A Julia/JuMP Package for Joint Optimization of Power and Water Distribution Networks
  ☆12Dec 20, 2022Updated 3 years ago