Alternatives and similar repositories for SafeTypeScript

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

• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆69Updated 6 years ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆33Updated 3 years ago
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆38Updated 3 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆141Updated 6 years ago
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆104Updated 6 years ago
• JetBrains / ot-coq
  ot-coq
  ☆17Updated last year
• purescript / purescript-free
  Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
  ☆94Updated last year
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆59Updated last month
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆19Updated 6 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆50Updated 6 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• astrada / rxocaml
  An OCaml implementation of Rx Observables
  ☆33Updated 6 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated 9 months ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated last month
• corwin-of-amber / ocaml-wasm
  The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
  ☆43Updated 2 years ago
• leostera / rules_reason
  📐Reason/OCaml rules and tools for Bazel
  ☆19Updated 6 years ago
• bodil / purescript-eulalie
  String parser combinators for PureScript.
  ☆59Updated 8 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 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 4 years ago
• yallop / ocaml-ctypes-inverted-stubs-example
  Example showing how to turn OCaml code (here Xmlm) into a C library.
  ☆45Updated 4 years ago
• samskivert / bidir-scala
  A simple bidirectional type checker
  ☆18Updated 6 years ago
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆28Updated 9 months ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆32Updated 6 years ago
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆50Updated last month
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• jaredly / jerd
  ☆37Updated 3 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆183Updated last year