Lifting Reduction Semantics through Syntactic Sugar
☆13May 13, 2018Updated 7 years ago
Alternatives and similar repositories for Resugarer
Users that are interested in Resugarer are comparing it to the libraries listed below
Sorting:
- ☆13Feb 21, 2026Updated last week
- ☆18Nov 23, 2021Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Datatypes as quotients of polynomial functors☆41May 4, 2020Updated 5 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 2 years ago
- Code to accompany ESOP 2016 paper☆12Jan 31, 2016Updated 10 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- Semantic subtype for the Ballerina programming language, implemented in Ballerina.☆11May 27, 2021Updated 4 years ago
- ☆15Jun 26, 2019Updated 6 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 6 years ago
- An experimental programming language.☆19May 16, 2019Updated 6 years ago
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- Pulsar asynchronous synthesis framework☆13Apr 2, 2021Updated 4 years ago
- Source files of the previous coq.inria.fr website☆18Jan 20, 2025Updated last year
- Erlang BEAM emulator in Haskell☆48Jun 14, 2014Updated 11 years ago
- ☆14Jan 14, 2022Updated 4 years ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Feb 7, 2024Updated 2 years ago
- PL syntax macros.☆21Nov 30, 2025Updated 3 months ago
- A simple bidirectional type checker☆18Feb 27, 2019Updated 7 years ago
- BEAT: Asynchronous BFT Made Practical☆18Mar 4, 2020Updated 6 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 10 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Jul 4, 2013Updated 12 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- ☆50Feb 21, 2026Updated last week
- My Attempt at System Fω with Row-Polymorphism☆30Jul 4, 2021Updated 4 years ago
- Interpreter of the ITGL with dynamic type inference☆21Feb 24, 2025Updated last year
- ☆21May 9, 2017Updated 8 years ago
- A model of the WebAssembly language in Redex☆21Mar 25, 2021Updated 4 years ago
- Course web page for Fall 2021.☆22Dec 26, 2021Updated 4 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- Standard ML Grammar for Tree-sitter☆25Jan 14, 2022Updated 4 years ago
- Erlang port of the Shen programming language☆26Feb 26, 2026Updated last week
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- Formalisation of a capability machine and principles for reasoning about security properties☆26Jul 4, 2025Updated 8 months ago
- Reverse engineering framework.☆36Jun 17, 2022Updated 3 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆102Jun 8, 2022Updated 3 years ago