ilya-klyuchnikov

tapl-scala. Code from the book "Types and Programming Languages" in Scala

ttlite. A SuperCompiler for Martin-Löf's Type Theory

lambdapi. Dependently Typed Lambda Calculus in Haskell

sc-mini. SC Mini is a "minimal" positive supercompiler

mrsc. A toolkit for building multi-result supercompilers

henk. Pure Type Systems for Functional Programming

faba. Fast Bytecode Analysis

refal. Rust

hosc. Higher-Order Supercompiler

sll-meta-haskell. "Metacomputation and its Applications" implemented for SLL

minimetamix. minimetamix - a collection of simple and minimalistic items

hosc2. Higher-Level Supercompiler

kanva-micro. Kotlin

epigram1. Haskell

distill. Haskell

plt-study. A path to Programming Language Theory enlightenment

sanitizer. Python

sll-meta-racket. Metacomputation in Racket

metacomputation-book.

flowchart-racket. Racket

spsc-lite-scala. The main goal is to code SPSC in idiomatic Scala

clojure-logic-examples. Clojure

stardust. Standard ML

1ml. 1ML prototype interpreter

jimi. Idris

scheme-scala. Scala

program-analysis. Scala

tree-sitter-refal. C

epidrin. Idris