schani / unlambdascheme
A Scheme to Unlambda compiler
☆18Updated 7 years ago
Alternatives and similar repositories for unlambdascheme:
Users that are interested in unlambdascheme are comparing it to the libraries listed below
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- ☆35Updated 5 years ago
- Haskell User's Gofer System☆25Updated 9 years ago
- ☆22Updated 5 years ago
- ☆19Updated last year
- Erlang BEAM emulator in Haskell☆48Updated 10 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆25Updated 4 months ago
- A simple Prolog interpreter☆42Updated 3 years ago
- An extended typed Lambda Calculus☆21Updated 8 months ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- For hosting certain parts of http://www.ats-lang.org☆27Updated 2 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 6 years ago
- ☆14Updated last month
- ☆17Updated 2 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 7 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago