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
  ☆128Updated 2 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆430Updated last week
• metaborg / spoofax
  Spoofax runtime
  ☆147Updated 4 months ago
• CatarinaGamboa / liquidjava
  ☆44Updated this week
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 4 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆64Updated 3 weeks ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 3 weeks ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆163Updated this week
• tidyparse / tidyparse
  ✂️ Syntax correction in context-free languages.
  ☆23Updated last week
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆73Updated 3 months ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆95Updated this week
• AlloyTools / models
  A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…
  ☆135Updated 3 months ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated last month
• 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…
  ☆159Updated this week
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆62Updated last month
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆167Updated this week
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆79Updated 9 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• 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
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆170Updated last month
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆131Updated 3 years ago
• rems-project / lem
  Lem semantic definition language
  ☆146Updated 6 months ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆78Updated last week
• nadia-polikarpova / synquid
  ☆139Updated 3 years 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 11 months ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆134Updated last month
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆89Updated this week