dawn-lang / ucc
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
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- Prototypes: Object Orientation, Functionally☆44Updated last week
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 3 weeks ago
- A property-based testing library for Racket.☆32Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- ☆22Updated 5 years ago
- A collection of programming languages and type systems.☆33Updated 8 months ago
- ☆35Updated last year
- Kanren with databases☆43Updated 9 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 6 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- software archaeology of reflective towers of interpreters☆16Updated 6 months 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
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- a self-hosting lambda calculus compiler☆35Updated last month
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 8 months ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- A template for you to implement Hazelnut yourself☆21Updated 3 months ago
- Anders: Cubical Type Checker☆24Updated last year
- Apple array system☆66Updated this week
- ☆19Updated last year
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 6 months ago