mthom / scryer-shenLinks
☆55Updated 2 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:
- A lisp dialect based on pattern matching and term rewriting☆84Updated 9 months ago
- Shen/Scheme implementation☆118Updated 2 months ago
- An embeddable flow-oriented language.☆72Updated 2 weeks ago
- Plot Cookbook☆50Updated 2 years ago
- Kanren with databases☆44Updated last year
- Wasm tooling in Racket.☆43Updated 2 years ago
- A simple incomplete Scheme-to-C compiler☆68Updated last month
- The Kraken Programming Language☆47Updated last year
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆117Updated 3 months ago
- An R7RS Scheme implemented in WebAssembly☆179Updated 2 years ago
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Racket to WebAssembly Compiler☆37Updated 6 months ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆105Updated 2 months ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆54Updated 8 years ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆138Updated this week
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆71Updated 7 months ago
- DocLog builds documentation from source code in Prolog☆27Updated 7 months ago
- A Prolog library to connect to PostgreSQL databases☆101Updated last year
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- A functional scripting language compiling to pure Lambda Calculus☆29Updated 2 months ago
- ☆137Updated 3 years ago
- Apple array system☆67Updated last month
- ☆48Updated 2 months ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- ☆79Updated 6 years ago
- A server, client and UI for remotely debugging Racket applications.☆30Updated last week
- A collection of core libraries for Racket☆86Updated 3 weeks ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆35Updated 2 months ago