dawn-lang / ucc
Untyped Concatenative Calculus
☆19Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for ucc
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated 9 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆27Updated last week
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- Apple array system☆54Updated this week
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- Kanren with databases☆43Updated 3 months ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- ☆21Updated 4 years ago
- ☆33Updated 7 months ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆53Updated 6 months ago
- A property-based testing library for Racket.☆29Updated 6 months ago
- An implementation of the Lox language in Racket.☆30Updated last year
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Type expanders (i.e. type-level functions) for Typed/Racket☆17Updated 3 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- A grammar of data manipulation for Racket.☆20Updated last week
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- ☆43Updated 2 weeks ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A proof that Idris is pacman complete☆8Updated 7 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated 8 months ago
- A collection of programming languages and type systems.☆33Updated 3 months ago
- A Racket refactoring engine☆58Updated this week
- Forth emulator, as a Racket #lang☆20Updated last year
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated last month
- Kempe is a compiled stack-based language☆58Updated last month
- An experimental language server for SomewhatML☆24Updated last year