dawn-lang / uccLinks
Untyped Concatenative Calculus
☆19Updated 3 years ago
Alternatives and similar repositories for ucc
Users that are interested in ucc are comparing it to the libraries listed below
Sorting:
- Racket-based implementation of Adapton☆22Updated 5 years ago
- ☆22Updated 5 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- ☆35Updated last year
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- Kanren with databases☆43Updated 10 months ago
- purple: compiling a reflective language☆32Updated 7 months ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Prototypes: Object Orientation, Functionally☆44Updated last month
- ☆51Updated 2 weeks ago
- The MLtonLibrary repository☆36Updated 2 years ago
- software archaeology of reflective towers of interpreters☆16Updated 7 months ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 7 months ago
- An implementation of the Lox language in Racket.☆33Updated last year
- Interactive Scheme Primer, written in Scheme.☆21Updated 8 months ago
- Your happy place for learning APL☆16Updated 2 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- A property-based testing library for Racket.☆32Updated last year
- source code for the bondi programming language☆40Updated 6 years ago
- Optional types for Prolog☆16Updated 5 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated last month