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
  ☆66Updated 6 years ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆32Updated 2 years ago
• bodil / purescript-eulalie
  String parser combinators for PureScript.
  ☆58Updated 7 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆24Updated 6 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.
  ☆36Updated 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
• funfix / funland.js
  Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow
  ☆46Updated 7 months ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 7 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated last year
• jaredly / jerd
  ☆36Updated 3 years ago
• gabejohnson / fantasy-interfaces
  JavaScript "native" interfaces for Fantasy Land
  ☆19Updated 7 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated this week
• gcanti / recursion-schemes-ts
  Recursion schemes in TypeScript (POC)
  ☆22Updated 4 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆49Updated 6 years ago
• purescript-deprecated / purescript-generics-rep
  Generic programming using an approach inspired by GHC.Generics
  ☆41Updated 3 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• mgechev / typed-calc
  Interpreter for simply typed lambda calculus implemented in JavaScript λ
  ☆34Updated 7 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• spacchetti / spacchetti
  dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!
  ☆47Updated 5 years ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆48Updated 3 months ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• jedahu / ts-refined
  Refined types for Typescript
  ☆24Updated 7 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 3 years ago