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 this week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆125Updated 2 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆423Updated this week
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 3 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆138Updated 6 years ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 4 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆157Updated 7 months ago
• CatarinaGamboa / liquidjava
  ☆38Updated 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 …
  ☆49Updated 2 years ago
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆132Updated last year
• ocadaruma / tlaplus-intellij-plugin
  Intellij plugin for TLA+ formal specification language.
  ☆58Updated last month
• triska / clpz
  Constraint Logic Programming over Integers
  ☆201Updated last year
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 2 months ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated this week
• metaborg / spoofax
  Spoofax runtime
  ☆145Updated last month
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆118Updated 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 2 weeks ago
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆132Updated 6 months ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 3 years ago
• eclipse-xsemantics / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆312Updated last week
• JetBrains / arend-lib
  ☆82Updated 3 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆42Updated last month
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆58Updated 10 months ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆105Updated last week
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆46Updated 5 months ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• WasmCert / WasmCert-Isabelle
  A mechanisation of Wasm in Isabelle.
  ☆27Updated last week
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆222Updated 2 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 9 years ago