jensnicolay / jipda

Related projects ⓘ

Alternatives and complementary repositories for jipda

• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆78Updated last week
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆194Updated 4 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• hephaestus-pl / coqfj
  A mechanized proof of type safety for Featherweight Java using Coq
  ☆16Updated 6 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆42Updated 4 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 4 years ago
• mpelleau / AbSolute
  Constraint solver based on abstract domains
  ☆30Updated 3 weeks ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆91Updated 3 years ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆57Updated last year
• OriRoth / fling
  A fluent API generator
  ☆24Updated 8 months ago
• ejgallego / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆128Updated last week
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 12 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 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.
  ☆36Updated 2 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 4 years ago
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆106Updated 7 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• caterinaurban / Typpete
  ☆35Updated 5 years ago
• sola-da / ConflictJS
  Finding and Understanding Conflicts Between JavaScript Libraries
  ☆40Updated 2 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆60Updated 9 months ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated last month
• polytypic / prettier-printer
  A pretty printing library
  ☆24Updated 5 years ago
• ybertot / plugin_tutorials
  A collection of small projects to illustrate how to write plugins for Coq
  ☆21Updated 5 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆87Updated 5 years ago