PLTools / GT

Related projects ⓘ

Alternatives and complementary repositories for GT

• mirage / ocaml-fsevents
  macOS bindings to the FSEvents API
  ☆18Updated 4 months ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆15Updated 2 years ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 4 years ago
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 3 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated last month
• seadynamic8 / ocaml-modern-docs
  Unofficial OCaml Standard Library Docs - Modern Theme
  ☆11Updated 6 years ago
• patricoferris / jsoo-todo-mvc
  A comparison of Js_of_ocaml libraries for building reactive UIs
  ☆11Updated 2 years ago
• rizo / ocaml-by-example
  Code examples for OCaml.
  ☆9Updated 4 years ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 2 years ago
• zshipko / ocaml-vec
  Example OCaml library written using Rust and ocaml-rs
  ☆16Updated 3 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆27Updated 2 years ago
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated 3 months ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated 2 weeks ago
• c-cube / ocaml-minisat
  OCaml bindings to Minisat
  ☆12Updated 6 months ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆46Updated last month
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆21Updated 2 years ago
• tomjridge / imp_fs
  ImpFS, a new filesystem.
  ☆20Updated 2 years ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆20Updated last month
• zshipko / ocaml-rust-starter
  Getting started with ocaml-rs
  ☆31Updated 2 months ago
• aionescu / vec
  Fast, safe mutable dynamic arrays for OCaml
  ☆28Updated 10 months ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• 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
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆33Updated 3 weeks ago
• mirage / irmin-server
  A high-performance server for Irmin
  ☆23Updated 2 years ago
• tmattio / yoshi
  Convert Markdown and YAML Data to OCaml Modules
  ☆17Updated last year
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆29Updated this week
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 2 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• vbmithr / ocaml-msgpck
  Fast msgpack library for OCaml
  ☆26Updated 3 years ago