mthom / scryer-shenLinks
☆56Updated 3 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.☆72Updated 3 weeks ago
- Shen/Scheme implementation☆120Updated 3 months ago
- Kanren with databases☆44Updated last year
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- Plot Cookbook☆50Updated 2 years ago
- Racket to WebAssembly Compiler☆37Updated 7 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 10 months ago
- Wasm tooling in Racket.☆44Updated 2 years ago
- The Kraken Programming Language☆48Updated last year
- A Prolog library to connect to PostgreSQL databases☆102Updated last year
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated this week
- 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☆139Updated last week
- ☆138Updated 3 years ago
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆71Updated 9 months ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- A simple incomplete Scheme-to-C compiler☆72Updated last month
- Apple array system☆67Updated this week
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆119Updated 5 months ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆106Updated 3 months ago
- An R7RS Scheme implemented in WebAssembly☆179Updated 2 years ago
- An embeddable BQN virtual machine in rust. Stay tuned!☆34Updated 3 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 7 months ago
- Racket-based implementation of Adapton☆22Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆35Updated 3 months ago
- A 2D RPG implemented in the Rhombus Racket dialect☆56Updated 2 years ago
- Prototypes: Object Orientation, Functionally☆46Updated 3 weeks ago