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
• metaborg / spoofax
  Spoofax runtime
  ☆140Updated 2 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆125Updated last year
• CatarinaGamboa / liquidjava
  ☆37Updated 2 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated 3 weeks ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆59Updated 2 months ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆136Updated 6 years ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆42Updated 3 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated 4 months ago
• biboudis / streamalg
  Extensible stream pipelines with object algebras.
  ☆26Updated 9 years ago
• siegebell / vscoq
  Coq Support for Visual Studio Code
  ☆92Updated 5 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 3 years ago
• usethesource / rascal
  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…
  ☆420Updated this week
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• uuverifiers / princess
  The Princess Theorem Prover
  ☆26Updated last week
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last month
• Gbury / dolmen
  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
  ☆84Updated 3 weeks ago
• 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
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆62Updated last month
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆84Updated this week
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated 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…
  ☆141Updated 5 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆103Updated 6 years ago
• stedolan / mlsub
  Prototype type inference engine
  ☆201Updated 2 months ago
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆102Updated this week
• ps-tuebingen-courses / pl1-lecture-notes
  Programming Languages I Lecture Notes
  ☆10Updated 10 months ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated 9 months ago