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
  ☆42Updated last month
• metaborg / spoofax
  Spoofax runtime
  ☆156Updated 7 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆444Updated last week
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆66Updated 4 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆165Updated last month
• liquid-java / liquidjava
  ☆52Updated this week
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 3 months ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆138Updated 6 months ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆36Updated last week
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated this week
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆28Updated 4 years ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆58Updated last year
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆66Updated last week
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆46Updated 3 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆154Updated this week
• 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…
  ☆165Updated this week
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 4 months ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 8 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆223Updated 2 years ago
• Deducteam / Dedukti
  Type-checker for the λΠ-calculus modulo rewriting
  ☆224Updated last month
• 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 …
  ☆48Updated 2 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 6 years ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆180Updated 4 years ago
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆136Updated 3 weeks ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆55Updated last month
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last month
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 5 years ago