Alternatives and similar repositories for lowcaml:

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

• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• copy / tz
  A command line program to show a table of timezones
  ☆13Updated last month
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 3 months ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 2 months ago
• Armael / ocaml-kittyimg
  Implementation of kitty's terminal graphics protocol
  ☆13Updated last year
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆23Updated last year
• let-def / lrgrep
  Menhir polishing toolbox, for experienced druids
  ☆33Updated last month
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated 2 years ago
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆50Updated last year
• ocaml-multicore / uring-trace
  Visualization tool for your IO-uring workload
  ☆17Updated 8 months ago
• alan-j-hu / llvm-dune
  The official LLVM OCaml binding but built using dune
  ☆25Updated 2 months ago
• art-w / varray
  Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
  ☆32Updated last year
• polytypic / par-ml
  Experimental parallel and concurrent OCaml
  ☆14Updated 2 years ago
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated 8 months ago
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• sidsabh / MirageRaft
  experiments on distributed unikernels
  ☆16Updated 4 months ago
• emillon / gamepad_of_ocaml
  HTML5 Gamepad API bindings for js_of_ocaml
  ☆17Updated 7 years ago
• gildor478 / ocaml-gettext
  ☆13Updated last month
• anik545 / OwlPPL
  Final Year Project - A probabilisitic programming language in OCaml
  ☆13Updated 4 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
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated 10 months ago
• janestreet / ppx_typed_fields
  GADT-based field accessors and utilities
  ☆16Updated last week
• patricoferris / jsoo-todo-mvc
  A comparison of Js_of_ocaml libraries for building reactive UIs
  ☆11Updated 3 years ago
• ocaml-sys / libc.ml
  Raw bindings to platform APIs for OCaml
  ☆16Updated last year
• robur-coop / webauthn
  Mirror of https://git.robur.coop/robur/webauthn/
  ☆29Updated 7 months ago
• ralphrecto / xic
  A compiler for the Xi programming language
  ☆10Updated 8 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆23Updated last month
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆18Updated this week
• yomimono / chamelon
  a small, simple block-backed key-value store for MirageOS
  ☆31Updated 2 years ago
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 3 years ago