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
• polytypic / prettier-printer
  A pretty printing library
  ☆24Updated 6 years ago
• funfix / funland.js
  Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow
  ☆46Updated 10 months ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆32Updated 2 years ago
• justinwoo / purescript-bismuth
  A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes
  ☆19Updated 7 years ago
• jscert / jsexplain
  ☆26Updated 2 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.
  ☆37Updated 2 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆54Updated 8 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• fxfactorial / ocaml-javascriptcore
  Create, Control, Execute JavaScript in OCaml. Think of the possibilities.
  ☆30Updated 8 years ago
• JetBrains / ot-coq
  ot-coq
  ☆17Updated last year
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 8 years ago
• bodil / graham
  Parser combinators for JS
  ☆13Updated 9 years ago
• lpw25 / namespaces
  Proposal for namespacing in OCaml
  ☆39Updated 6 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 7 years ago
• mjambon / atdgen
  Now part of the atd repo
  ☆44Updated 7 years ago
• zudov / purescript-miniyampa
  A simplistic AFRP implementation
  ☆13Updated 9 years ago
• ngernest / pbt-bibliography
  A collaborative bibliography of papers related to property-based testing
  ☆13Updated 2 weeks ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• purescript-contrib / atom-language-purescript
  PureScript language support for the Atom editor
  ☆34Updated last month
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆104Updated 6 years ago
• hdgarrood / purescript-sequences
  Various efficient-ish sequence types for PureScript.
  ☆47Updated last year
• Risto-Stevcev / bs-effects
  Bucklescript data structures for effectful sync and async programming
  ☆37Updated 5 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 5 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆66Updated 3 years ago