Alternatives and similar repositories for fling

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

• tomokinakamaru / silverchain
  Fluent API generator
  ☆41Updated 2 weeks ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 5 months ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆162Updated 3 weeks ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆433Updated this week
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆63Updated 2 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆164Updated last week
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated last month
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆136Updated 4 months ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆64Updated last month
• CatarinaGamboa / liquidjava
  ☆44Updated last week
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆80Updated 2 weeks ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆151Updated last year
• emina / kodkod
  Kodkod solver for relational logic
  ☆79Updated 2 years ago
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆47Updated 2 years ago
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆39Updated last week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated last week
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 4 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 2 months ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆128Updated 3 years ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆37Updated 11 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆90Updated last week
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆79Updated 9 years ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆109Updated 2 months ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆73Updated 4 months ago
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆133Updated last month
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆93Updated 4 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated this week