jensnicolay / jipda

Related projects ⓘ

Alternatives and complementary repositories for jipda

• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆78Updated this week
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 11 years ago
• UCSD-PL / refscript
  Refinement Types for Scripting Languages
  ☆65Updated 5 years ago
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆194Updated 4 years ago
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 3 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 2 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
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 5 months ago
• nuprl / gradual-typing-performance
  ☆10Updated 5 years ago
• TikhonJelvis / imp
  Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.
  ☆17Updated 8 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 5 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 2 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 4 years ago
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆42Updated 4 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• shapesecurity / shift-semantics-java
  an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST
  ☆16Updated 4 years ago
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆91Updated 3 years ago
• mpelleau / AbSolute
  Constraint solver based on abstract domains
  ☆30Updated last month
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 12 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated 3 weeks ago
• xavierleroy / coq2html
  An HTML documentation generator for Coq source files
  ☆30Updated 2 months ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆133Updated 5 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 6 years ago