mthom / scryer-shen
☆43Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for scryer-shen
- Kanren with databases☆43Updated 3 months ago
- An embeddable flow-oriented language.☆59Updated last week
- Racket parser combinators inspired by parsack and megaparsec☆76Updated last month
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆65Updated 3 months ago
- A DSL for runtime code generation in racket☆66Updated 2 years ago
- A simple incomplete Scheme-to-C compiler☆66Updated last month
- Plot Cookbook☆50Updated last year
- ☆40Updated 7 months ago
- Collection of Utilities for Gerbil Scheme☆43Updated 3 months ago
- Wasm tooling in Racket.☆40Updated last year
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated last month
- Bringing Prolog to the masses.☆35Updated 2 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A property-based testing library for Racket.☆29Updated 6 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆27Updated last week
- A Racket refactoring engine☆58Updated this week
- The Kraken Programming Language☆46Updated 9 months ago
- Shen/Scheme implementation☆100Updated 3 months ago
- Optional types for Prolog☆16Updated 4 years ago
- ☆60Updated 2 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- The package manager for Cyclone Scheme.☆29Updated 9 months ago
- staged relational interpreters: running with holes, faster☆125Updated last week
- Racket to WebAssembly Compiler☆27Updated 2 years ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated last month
- An experimental Racket implementation using LLVM/MLIR☆60Updated last year
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆102Updated 2 years ago
- A linter for Racket.☆44Updated last month
- ☆135Updated 2 years ago