hellerve / mae
maps are everything.
☆10Updated 3 years ago
Alternatives and similar repositories for mae:
Users that are interested in mae are comparing it to the libraries listed below
- a self-hosting lambda calculus compiler☆35Updated 2 weeks ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- ☆22Updated 5 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A property-based testing library for Racket.☆32Updated 11 months ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 weeks ago
- A diagram drawing library for Racket☆18Updated 4 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Wasm tooling in Racket.☆43Updated last year
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 6 months ago
- Racket Lang for Virtual Reality (Aframe)☆10Updated 4 years ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Kanren with databases☆43Updated 8 months ago
- Interactive Scheme Primer, written in Scheme.☆21Updated 6 months ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- purple: compiling a reflective language☆32Updated 6 months ago
- Forth emulator, as a Racket #lang☆21Updated 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 4 years ago
- A toy programming language.☆39Updated last year
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆25Updated 4 months ago
- ☆19Updated last year
- language verification, construction, and analysis☆20Updated 3 years ago
- McLulang: The message is the language☆10Updated 7 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated last week
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago