Alternatives and similar repositories for fstar.js

Users that are interested in fstar.js are comparing it to the libraries listed below

• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 5 years ago
• Octachron / rational_in_types
  Type-level rational puzzles in OCaml
  ☆25Updated 9 years ago
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 8 months ago
• mirage / ocaml-diet
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Updated 3 years ago
• samoht / depyt
  Yet another type combinator library
  ☆55Updated 3 years ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆27Updated 2 years ago
• Drup / functoria-lua
  Building Lua interpreters with lot's of functors
  ☆13Updated 7 years ago
• Octachron / orec
  Open records implemented using map over universal type
  ☆34Updated 5 years ago
• dbuenzli / rresult
  Result value combinators for OCaml
  ☆36Updated 2 years ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆41Updated 7 months ago
• polytypic / rea-ml
  Effectful OCaml with Objects and Variants
  ☆29Updated 3 years ago
• nojb / ocaml-obj-printer
  ☆21Updated 6 years ago
• dbuenzli / mtime
  Monotonic wall-clock time for OCaml
  ☆33Updated 6 months ago
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆24Updated 3 years ago
• ocurrent / opam-health-check
  A toolchain to check for broken opam packages
  ☆21Updated 8 months ago
• backtracking / functory
  a distributed computing library for OCaml
  ☆24Updated 2 years ago
• craigfe / brands
  Defunctionalised higher-kinded polymorphism in OCaml.
  ☆20Updated 5 years ago
• darrenldl / ocaml-lxc
  OCaml binding to LXC with idiomatic (and opionated) OCaml API design
  ☆13Updated 6 years ago
• aionescu / vec
  Fast, safe mutable dynamic arrays for OCaml
  ☆28Updated 2 years ago
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated 2 years ago
• Drup / modulectomy
  Dissect OCaml compiled programs, and weight their content
  ☆25Updated 3 years ago
• OCamlPro / opam-bin
  Binary packages for OPAM with local and remote repositories
  ☆17Updated 3 years ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 5 years ago
• nobrakal / asak
  Identifying similar OCaml codes
  ☆30Updated last year
• imandra-ai / vega-lite
  OCaml library to produce vega-lite visualizations (as json objects)
  ☆17Updated 3 years ago
• progman1 / genprintlib
  general value printing within compiled programs
  ☆31Updated 5 years ago
• LexiFi / lrt
  LexiFi runtime types
  ☆35Updated 5 years ago
• dinakajoy / mini_github_app_using_ocaml
  A simple app to test out irmin and dream
  ☆18Updated 3 months ago
• b0-system / b0
  Software construction and deployment kit
  ☆36Updated 3 weeks ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 3 years ago