mthom / scryer-shenLinks
☆51Updated 2 weeks ago
Alternatives and similar repositories for scryer-shen
Users that are interested in scryer-shen are comparing it to the libraries listed below
Sorting:
- An embeddable flow-oriented language.☆71Updated 2 months ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆112Updated last month
- Kanren with databases☆43Updated 10 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 7 months ago
- DocLog builds documentation from source code in Prolog☆27Updated 5 months ago
- Shen/Scheme implementation☆116Updated 2 weeks ago
- Racket to WebAssembly Compiler☆35Updated 4 months ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- Apple array system☆66Updated 2 weeks ago
- An embeddable BQN virtual machine in rust. Stay tuned!☆35Updated 3 years ago
- ☆40Updated this week
- Bringing Prolog to the masses.☆36Updated 3 years ago
- The Kraken Programming Language☆47Updated last year
- Untyped Concatenative Calculus☆19Updated 3 years ago
- A simple incomplete Scheme-to-C compiler☆67Updated last month
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 7 months ago
- ☆71Updated 2 months ago
- Template engine for ISO Prolog, based on Jinja and Tera☆17Updated last year
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 7 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated last month
- This package implements genereric syntax for working with monads in R6RS scheme.☆25Updated 7 years ago
- An experimental Racket implementation using LLVM/MLIR☆61Updated last year
- ☆79Updated 6 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Informal collection of BQN utilities☆57Updated last week
- Prototypes: Object Orientation, Functionally☆44Updated last month
- A linter for Racket.☆46Updated 2 weeks ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Wasm tooling in Racket.☆42Updated 2 years ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆105Updated last week