SPSC: A Small Positive Supercompiler
☆39Feb 12, 2026Updated 3 weeks ago
Alternatives and similar repositories for spsc
Users that are interested in spsc are comparing it to the libraries listed below
Sorting:
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Компилятор Рефала-5λ☆95Feb 22, 2026Updated last week
- ☆13Apr 19, 2025Updated 10 months ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 3 years ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 3 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Smalltalk System includes VM and Native system☆13Jul 13, 2020Updated 5 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- ☆14Oct 30, 2024Updated last year
- ☆11Mar 20, 2025Updated 11 months ago
- ☆12Jan 25, 2018Updated 8 years ago
- Mechanized baselines for various type system features☆18Feb 25, 2026Updated last week
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 10 months ago
- SC Mini is a "minimal" positive supercompiler☆48Nov 21, 2020Updated 5 years ago
- An experimental game engine in MoonBit.☆21Updated this week
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- Theory and Applications of Lenses and Optics☆56Apr 29, 2022Updated 3 years ago
- Материалы по курсу «Основы информатики»☆27Jan 31, 2025Updated last year
- This is a simple stack virtual machine to be a translation target for toy languages.☆12Sep 18, 2020Updated 5 years ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 6 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- A toolkit for building multi-result supercompilers☆32Oct 23, 2021Updated 4 years ago
- I ❤︎ FEM: A finite element method demo in Umka and tophat☆18Jul 12, 2025Updated 7 months ago
- A MiniKanren in Python☆36Jul 15, 2016Updated 9 years ago
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 8 years ago
- proof script associated to tutorial material☆17Oct 29, 2023Updated 2 years ago
- A cost-aware logical framework, embedded in Agda.☆77Feb 23, 2026Updated last week
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- Collapsing Towers of Interpreters☆93Jun 21, 2025Updated 8 months ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Dec 30, 2023Updated 2 years ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆17Oct 26, 2025Updated 4 months ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Oct 29, 2019Updated 6 years ago
- Dependently typed core calculus with erasure☆19Aug 31, 2021Updated 4 years ago
- Converter of .BIN snapshots (BK-0010(01) emulator format) into WAV sound files to load through TAP☆16Nov 14, 2025Updated 3 months ago
- Assembler, linker etc to go with the compiler☆20Aug 30, 2025Updated 6 months ago
- Data Structure Optimization for Functional Programs☆34Feb 26, 2019Updated 7 years ago