kframework / java-semantics

Related projects: ⓘ

• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 2 months ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 5 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 6 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 8 years ago
• microsoft / mcBV
  A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
  ☆16Updated last year
• almondtools / rexlex
  Regular Expressions and Lexing with DFAs
  ☆9Updated 4 months ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆36Updated last week
• JUrban / MPTP2
  ☆19Updated 7 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆20Updated last year
• usethesource / clair
  C Language Analysis in Rascal
  ☆24Updated 3 weeks ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆72Updated last year
• enso-lang / enso
  ☆71Updated 4 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 2 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 6 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆20Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 9 months ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆12Updated 7 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆31Updated last month
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆32Updated 7 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆47Updated 4 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• tech-srl / prime
  ☆14Updated 8 years ago
• cderoove / damp.ekeko
  Applicative logic meta-programming using Clojure's core.logic against an Eclipse workspace.
  ☆42Updated 3 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 5 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago