Alternatives and similar repositories for xmas:

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

• Khady / merlin-eldoc
  Type and doc on hover for OCaml and Reason in emacs
  ☆44Updated last year
• terrateamio / ocaml-ts-mode
  Ocaml mode for emacs using treesitter
  ☆10Updated 5 months ago
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆55Updated last month
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆80Updated 4 months ago
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆50Updated 9 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated 11 months ago
• andrejbauer / formalized-mathematics-in-lean
  A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
  ☆24Updated 3 weeks ago
• andreypopp / type-systems
  Playing with type systems
  ☆48Updated last month
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆70Updated 7 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated 6 months ago
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆67Updated 7 months ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated last year
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆27Updated 10 months ago
• mikeGEINE / FPauth
  Authentication framework for OCaml Dream web-framework
  ☆17Updated 2 years ago
• jjlee / rescript-mode
  A major mode for editing ReScript
  ☆43Updated 4 months ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆44Updated 2 weeks ago
• lindig / hello
  A minimal OCaml project
  ☆43Updated last week
• ocaml-sys / libc.ml
  Raw bindings to platform APIs for OCaml
  ☆16Updated 10 months ago
• OCamlPro / wasocaml
  ☆57Updated 3 months ago
• Kakadu / zanuda
  OCaml linter
  ☆73Updated 3 weeks ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• kiranandcode / gopcaml-mode
  [MIRROR] Ultimate Ocaml Editing Mode
  ☆22Updated 2 years ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 2 months ago
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆54Updated last year
• 6cdh / tree-sitter-racket
  Racket parser for tree-sitter
  ☆31Updated 4 months ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 6 months ago
• coq-community / tarjan
  Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …
  ☆14Updated last week
• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆31Updated 11 months ago
• iokasimov / ya
  Extremely composable embeddable programming language
  ☆21Updated this week