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
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆136Updated 5 years ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 9 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆416Updated this week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated 2 months ago
• rems-project / lem
  Lem semantic definition language
  ☆137Updated last 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
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 3 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated 10 months ago
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆128Updated 3 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆137Updated 3 weeks ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆204Updated 3 months ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆41Updated 3 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆113Updated 3 months ago
• CatarinaGamboa / liquidjava
  ☆36Updated 2 weeks ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• JetBrains / arend-lib
  ☆80Updated this week
• Soonad / FormalityFM
  Formality in itself
  ☆20Updated 4 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 4 months ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆162Updated 3 years ago
• stedolan / mlsub
  Prototype type inference engine
  ☆200Updated 3 weeks ago
• imdea-software / htt
  Hoare Type Theory
  ☆70Updated last month
• ocadaruma / tlaplus-intellij-plugin
  Intellij plugin for TLA+ formal specification language.
  ☆55Updated last month
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆302Updated last week
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆101Updated 3 weeks ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆58Updated 3 months ago