cubix-framework / cubixLinks
The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax"
☆114Updated 2 weeks ago
Alternatives and similar repositories for cubix
Users that are interested in cubix are comparing it to the libraries listed below
Sorting:
- Equational laws for free☆255Updated 3 weeks ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- ☆127Updated 3 years ago
- Functional teaching language for use in a discrete mathematics course☆169Updated last month
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆263Updated 8 months ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆138Updated 6 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Haskell bindings for the Souffle datalog language☆105Updated last year
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆197Updated 3 years ago
- Notes and handouts from OPLSS 2018☆55Updated 6 years ago
- GRIN backend for GHC☆144Updated 3 years ago
- Generate Haskell code from a type☆134Updated 3 months ago
- Benchmarks for capture-avoiding substitution☆114Updated this week
- Abstracting Definitional Interpreters☆68Updated 7 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆147Updated last year
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- A "implementation" of Girard's paradox in OCaml☆108Updated 10 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated 4 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆82Updated 8 years ago
- A compiler for functional programs on serialized data☆164Updated this week
- A pure type system implemented in OCaml☆77Updated 4 years ago
- higher order dependently typed logic programing☆171Updated 6 years ago
- Prototype type inference engine☆201Updated 4 months ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆152Updated 2 months ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Introduction to algebraic effects and handlers☆95Updated 6 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆207Updated last year