metareflection / poof
Prototypes: Object Orientation, Functionally
☆41Updated this week
Related projects: ⓘ
- A Racket refactoring engine☆56Updated this week
- A grammar of data manipulation for Racket.☆21Updated 2 years ago
- Untyped Concatenative Calculus☆19Updated 2 years ago
- An embeddable flow-oriented language.☆58Updated this week
- An implementation of the Lox language in Racket.☆28Updated 10 months ago
- Racket parser combinators inspired by parsack and megaparsec☆76Updated 2 years ago
- Prototype Object Orientation for Gerbil Scheme☆23Updated last month
- A property-based testing library for Racket.☆28Updated 4 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆31Updated last year
- Source repository for the Logoi natural programming language & hyperextensible/mouseless text editor.☆28Updated this week
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- A lisp dialect based on pattern matching and term rewriting☆40Updated 5 months ago
- Kanren with databases☆43Updated last month
- Datalog implemented in minikanren☆24Updated 7 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆29Updated 3 years ago
- Collection of syntax/parse macros☆29Updated last year
- The GRAphical Scheme Programming Environment☆34Updated this week
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆18Updated 2 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated last month
- A Scala-style magic function application form☆43Updated 2 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆18Updated 5 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A relational interpretation of Lojban☆31Updated this week
- ☆42Updated 8 months ago
- Racket parser for tree-sitter☆29Updated last week
- a minimal implementation of incremental computation in Scheme☆36Updated 7 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆15Updated 6 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆18Updated 7 months ago
- An experimental Racket implementation using LLVM/MLIR☆58Updated last year