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
  ☆125Updated 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
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• CatarinaGamboa / liquidjava
  ☆37Updated 3 weeks ago
• 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.
  ☆137Updated 6 years ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 10 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆421Updated this week
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated this week
• 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
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 3 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆42Updated last week
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated last week
• metaborg / spoofax
  Spoofax runtime
  ☆143Updated last week
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated 6 months ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated last week
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆79Updated 6 years ago
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆69Updated last year
• cwi-swat / rebel
  ☆13Updated 5 years ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆58Updated 9 months ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆46Updated 5 months ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆74Updated this week
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆74Updated 9 months ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last month
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆117Updated last month
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆222Updated 2 years ago