bennn / iPoe
Interactive POetry Editor
☆28Updated 3 years ago
Alternatives and similar repositories for iPoe:
Users that are interested in iPoe are comparing it to the libraries listed below
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- An environment variable manager for Racket applications☆17Updated last year
- Wasm tooling in Racket.☆41Updated last year
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Generic collections API for Racket☆52Updated 2 years ago
- Sound and efficient gradual typing via contract verification.☆20Updated last year
- A property-based testing library for Racket.☆31Updated 10 months ago
- A Scala-style magic function application form☆43Updated 2 years ago
- A diagram drawing library for Racket☆18Updated 4 years ago
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 5 months ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- ☆13Updated last week
- ☆40Updated last week
- experimental computational medium and supporting tools☆22Updated last week
- Easy scripting for DrRacket☆18Updated last week
- ☆18Updated last year
- ☆21Updated 5 years ago
- A Racket refactoring engine☆63Updated this week
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 2 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆30Updated last week
- adqc - A version of C with verification and resource bounds☆23Updated 3 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- ☆15Updated 2 years ago