mthom / scryer-shenLinks
☆57Updated 8 months 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.☆74Updated last month
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- Shen/Scheme implementation☆128Updated last week
- A DSL for runtime code generation in racket☆68Updated 3 years ago
- Plot Cookbook☆51Updated 2 years ago
- Wasm tooling in Racket.☆45Updated 2 years ago
- Apple array system☆69Updated 2 weeks ago
- Kanren with databases☆44Updated last year
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- A simple incomplete Scheme-to-C compiler☆74Updated 5 months ago
- Racket to WebAssembly Compiler☆38Updated last year
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆123Updated 9 months ago
- The Kraken Programming Language☆49Updated last year
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 3 years ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆149Updated last week
- An R7RS Scheme implemented in WebAssembly☆182Updated 2 years ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆107Updated 8 months ago
- ☆138Updated 3 years ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆71Updated last year
- DocLog builds documentation from source code in Prolog☆32Updated 2 weeks ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 5 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated 3 weeks ago
- Learning Constraint Programming with Picat☆51Updated 2 months ago
- ☆48Updated 3 years ago
- A functional scripting language compiling to pure Lambda Calculus☆32Updated last month
- ☆75Updated 10 months ago
- #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…☆60Updated 3 years ago