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 last week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated 2 years ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆141Updated 6 years ago
• CatarinaGamboa / liquidjava
  ☆38Updated 2 months ago
• JetBrains / arend-lib
  ☆82Updated 4 months ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆145Updated 8 months ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆43Updated 3 years ago
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated 3 weeks ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆76Updated this week
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆33Updated 2 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 2 weeks ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated last month
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆126Updated 3 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆164Updated 2 weeks ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆58Updated 11 months ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆158Updated 7 months ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆74Updated 10 months ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆209Updated last month
• ocadaruma / tlaplus-intellij-plugin
  Intellij plugin for TLA+ formal specification language.
  ☆59Updated last month
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆427Updated this week
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 4 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• emina / kodkod
  Kodkod solver for relational logic
  ☆76Updated last year
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated this week
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆44Updated 3 years ago