nikswamy / SafeTypeScript

Related projects ⓘ

Alternatives and complementary repositories for SafeTypeScript

• jscert / jsexplain
  ☆26Updated 2 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆24Updated 5 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆65Updated 5 years ago
• Denommus / react-react
  Integrating ReasonReact with Erratique's React!
  ☆35Updated 2 years ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆31Updated 2 years ago
• lpw25 / namespaces
  Proposal for namespacing in OCaml
  ☆38Updated 6 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 12 years ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 3 years ago
• Schmavery / refmt-web
  [OLD/Deprecated] Translate OCaml to Reason ON THE WEB
  ☆18Updated 7 years ago
• mjambon / atdgen
  Now part of the atd repo
  ☆44Updated 7 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
• reasonml-old / bs-containers
  [ABANDONED] Containers for Bucklescript application
  ☆27Updated 6 years ago
• funfix / funland.js
  Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow
  ☆46Updated 5 months ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 4 years ago
• jaredly / jerd
  ☆36Updated 3 years ago
• jordwalke / PackageJsonForCompilers
  Proposal for allowing compiled languages to use the package.json sandbox model
  ☆26Updated 7 years ago
• scoville / re-optic
  An optic library for ReScript (OCaml and ReasonML)
  ☆18Updated last year
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• asolove / explore-concurrent-ml
  Exploring Concurrent ML in Reason
  ☆18Updated 7 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• Risto-Stevcev / bs-effects
  Bucklescript data structures for effectful sync and async programming
  ☆37Updated 4 years ago
• justinwoo / purescript-bismuth
  A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes
  ☆19Updated 6 years ago
• jaredly / rejs
  ☆28Updated 8 years ago
• esy-ocaml / hello-ocaml
  an example esy-powered OCaml project
  ☆55Updated 4 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
• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago
• jdan / ocaml-web-framework
  An HTTP server and framework written from scratch in OCaml
  ☆26Updated 3 years ago