TyOverby / sdui

Related projects ⓘ

Alternatives and complementary repositories for sdui

• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆20Updated last month
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆35Updated this week
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆42Updated last year
• mirage / ocaml-fsevents
  macOS bindings to the FSEvents API
  ☆18Updated 3 months ago
• polytypic / io
  IO should be just a library
  ☆23Updated last year
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆54Updated last month
• fpottier / baby
  A balanced binary search tree library for OCaml
  ☆21Updated 2 weeks ago
• patricoferris / try-eio
  Try OCaml Effects and Eio in your browser
  ☆20Updated last year
• c-cube / linol
  Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
  ☆28Updated last week
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆18Updated 8 months ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆39Updated last week
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆46Updated 3 weeks ago
• Fizzixnerd / ocaml-living
  A safer FFI interface for OCaml
  ☆11Updated 4 months ago
• let-def / lrgrep
  Menhir polishing toolbox, for experienced druids
  ☆25Updated last month
• zshipko / ocaml-rust-starter
  Getting started with ocaml-rs
  ☆31Updated 2 months ago
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆22Updated 8 months ago
• patricoferris / jsoo-todo-mvc
  A comparison of Js_of_ocaml libraries for building reactive UIs
  ☆11Updated 2 years ago
• ocsigen / ts2ocaml-example
  Example use of ts2ocaml
  ☆18Updated last week
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 4 years ago
• shonfeder / um-abt
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆27Updated last year
• pascutto / cachecache
  Efficient caching library for OCaml
  ☆33Updated last year
• LexiFi / grep_cmt
  ☆22Updated last month
• jackpeck / llama2.ml
  Llama2 inference in one file of pure OCaml.
  ☆27Updated last year
• dbuenzli / affect
  Composable concurrency primitives with OCaml effects handlers (unreleased)
  ☆43Updated last month
• ngernest / mica
  A PPX deriver that automates differential testing for OCaml modules
  ☆23Updated last month
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆21Updated 2 years ago
• geocaml / ocaml-optics
  Simple, existential optics library for OCaml
  ☆15Updated 2 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆38Updated last week
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago