Alternatives and similar repositories for ocaml-releases-change-explanation

Users that are interested in ocaml-releases-change-explanation are comparing it to the libraries listed below

• fxfactorial / valentine

  View on GitHub
  HTML validation on command line
  ☆18Oct 4, 2019Updated 6 years ago
• ToTal / total

  View on GitHub
  ☆11Jul 20, 2016Updated 9 years ago
• lpw25 / prof_spacetime

  View on GitHub
  Prof. Spacetime
  ☆30Nov 6, 2020Updated 5 years ago
• andrejbauer / repl-in-browser

  View on GitHub
  Implementation of a language interpreter in the browser, using js_of_ocaml.
  ☆15Dec 25, 2017Updated 8 years ago
• bobbypriam / ocaml-documentation-guideline

  View on GitHub
  Community-driven guide to write good documentation for OCaml libraries.
  ☆27Jun 22, 2018Updated 7 years ago
• rizo / ppx_rule

  View on GitHub
  Compile-time rewrite rules for OCaml
  ☆16Jan 15, 2016Updated 10 years ago
• jozefg / undergraduate-thesis

  View on GitHub
  A discouraging story.
  ☆16May 8, 2018Updated 7 years ago
• ayberkt / sml-system-t

  View on GitHub
  SML implementation of System T from PFPL.
  ☆11Jun 28, 2017Updated 8 years ago
• jonsterling / agda-zipper-machine

  View on GitHub
  An abstract machine using indexed containers and their zippers
  ☆13Dec 29, 2016Updated 9 years ago
• cryptosense / records

  View on GitHub
  Dynamic records in OCaml
  ☆26Apr 28, 2023Updated 2 years ago
• aantron / namespaces

  View on GitHub
  Sane file naming for OCaml projects.
  ☆71Sep 12, 2019Updated 6 years ago
• nojb / ocaml-emacs-plugin

  View on GitHub
  A library to write emacs plugins in OCaml
  ☆21May 20, 2016Updated 9 years ago
• jonsterling / sml-logical-framework

  View on GitHub
  Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought
  ☆14May 15, 2017Updated 8 years ago
• msullivan / typecoin

  View on GitHub
  Typecoin: Massively Multiplayer Online Linear Logic
  ☆18May 5, 2017Updated 8 years ago
• haesbaert / rawlink

  View on GitHub
  An ocaml library for using BPF/AF_SOCKET in a platform independent way.
  ☆17Jul 24, 2023Updated 2 years ago
• cfcs / eye-of-mirage

  View on GitHub
  WiP image viewer using MirageOS
  ☆19Aug 4, 2019Updated 6 years ago
• let-def / merlin-extend

  View on GitHub
  SDK to extend Merlin
  ☆27Oct 21, 2024Updated last year
• jonsterling / tt

  View on GitHub
  secret project
  ☆17Mar 14, 2018Updated 7 years ago
• cedlemo / OCaml-Notty-introduction

  View on GitHub
  My notes about the Notty library https://github.com/pqwy/notty
  ☆44Feb 23, 2021Updated 4 years ago
• ygrek / scraps

  View on GitHub
  moved to
  ☆10Oct 10, 2025Updated 4 months ago
• musha68k / chill-netcat

  View on GitHub
  UDP-only netcat implementation with OCaml / MirageOS
  ☆14Mar 21, 2017Updated 8 years ago
• yallop / ocaml-memcpy

  View on GitHub
  ☆21Dec 29, 2025Updated last month
• dsheets / ocaml-process

  View on GitHub
  Easy process control in OCaml
  ☆17Mar 23, 2023Updated 2 years ago
• cfcs / mirage-framebuffer

  View on GitHub
  Experimental portable bitmap framebuffer graphics for MirageOS
  ☆17Jul 14, 2020Updated 5 years ago
• RedPRL / sml-typed-abts

  View on GitHub
  second-order abstract syntax
  ☆31Sep 15, 2021Updated 4 years ago
• smimram / catt

  View on GitHub
  An infinity-categorical coherence typechecker
  ☆18Nov 4, 2024Updated last year
• mato / flathead

  View on GitHub
  A port of Eric Lippert's flathead Z-machine interpreter to MirageOS
  ☆10Sep 27, 2019Updated 6 years ago
• patricoferris / jsoo-p5

  View on GitHub
  Js_of_ocaml bindings for the p5.js library
  ☆11May 14, 2024Updated last year
• jonsterling / topos-theory-notes

  View on GitHub
  ☆10May 3, 2017Updated 8 years ago
• GuillermoCalderon / ProjectiveGeometryInAgda

  View on GitHub
  A formalization of Constructive Projective Geometry in Agda
  ☆12Jun 10, 2019Updated 6 years ago
• jyp / sctt

  View on GitHub
  Type-Theory in Sequent Calculus
  ☆14Jul 30, 2015Updated 10 years ago
• cfcs / passmenage

  View on GitHub
  Basic password manager library and command-line application in OCaml
  ☆12Mar 14, 2018Updated 7 years ago
• verbosemode / syslogd-mirage

  View on GitHub
  MirageOS Syslog Unikernel
  ☆11Oct 30, 2016Updated 9 years ago
• yallop / ocaml-pb-plugin

  View on GitHub
  A protoc plugin for generating OCaml code from protobuf (.proto) files.
  ☆17Nov 30, 2019Updated 6 years ago
• mirage / mmap

  View on GitHub
  File mapping
  ☆13Dec 14, 2023Updated 2 years ago
• fxfactorial / ocaml-plist

  View on GitHub
  Create, parse Apple Plists, plays nicely with Yojson
  ☆10Jan 19, 2017Updated 9 years ago
• Leonidas-from-XIV / ocaml-wiringpi

  View on GitHub
  Binding to the WiringPi library
  ☆13Sep 8, 2021Updated 4 years ago
• robur-coop / notty-miou

  View on GitHub
  ☆14Apr 1, 2025Updated 10 months ago
• Chris00 / ocaml-mindstorm

  View on GitHub
  Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.
  ☆17Jul 25, 2023Updated 2 years ago