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
• justinwoo / purescript-bismuth
  A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes
  ☆19Updated 7 years ago
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 6 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• bodil / purescript-eulalie
  String parser combinators for PureScript.
  ☆59Updated 8 years ago
• samskivert / bidir-scala
  A simple bidirectional type checker
  ☆18Updated 6 years ago
• hazelgrove / HZ
  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
  ☆29Updated 8 years ago
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆104Updated 6 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 5 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆183Updated 2 years ago
• jaredly / jerd
  ☆37Updated 3 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• purescript-contrib / atom-language-purescript
  PureScript language support for the Atom editor
  ☆35Updated 5 months ago
• IndiscriminateCoding / clarity
  Functional programming library for OCaml
  ☆60Updated 5 years ago
• hdgarrood / purescript-sequences
  Various efficient-ish sequence types for PureScript.
  ☆47Updated last year
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆58Updated 3 years ago
• nwolverson / atom-ide-purescript
  Atom package for PureScript build, completion, etc support
  ☆115Updated 2 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 8 years ago
• joneshf / elm-brands
  An experiment with higher-kinded types in elm
  ☆58Updated 9 years ago
• leostera / rules_reason
  📐Reason/OCaml rules and tools for Bazel
  ☆19Updated 6 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆142Updated 6 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆52Updated 12 years ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆101Updated last year
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆61Updated 8 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• purescript / purescript-free
  Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
  ☆94Updated 2 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆79Updated last year
• stefankoegel / clickyEvaluation
  Visual tool for stepwise evaluation of simple Haskell expressions
  ☆20Updated 5 years ago
• i-am-tom / purescript-panda
  What would TEA look like if we had no VDOM?
  ☆69Updated 6 years ago