Alternatives and similar repositories for jipda:

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

• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆66Updated 6 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• hephaestus-pl / coqfj
  A mechanized proof of type safety for Featherweight Java using Coq
  ☆16Updated 6 years ago
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆194Updated 4 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 2 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• lphilips / jspdg
  ☆12Updated 7 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆148Updated 9 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆81Updated this week
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 4 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆51Updated 8 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆197Updated 11 months ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆119Updated 3 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆88Updated 6 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆134Updated 5 years ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆97Updated last year
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆42Updated 4 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated last month
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 4 years ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆33Updated 2 weeks ago
• polytypic / fastener
  Functional Zipper for manipulating JSON
  ☆55Updated 6 years ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆66Updated 2 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆113Updated last month
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 5 years ago
• arjunguha / ocaml-z3
  ☆16Updated 5 years ago