mthom / scryer-shenLinks
☆56Updated 5 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:
- Kanren with databases☆44Updated last year
- Shen/Scheme implementation☆123Updated 5 months ago
- Racket to WebAssembly Compiler☆37Updated 9 months ago
- An embeddable flow-oriented language.☆71Updated last month
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- The Kraken Programming Language☆48Updated last year
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- Wasm tooling in Racket.☆44Updated 2 years ago
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆142Updated this week
- A simple incomplete Scheme-to-C compiler☆74Updated 2 months ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆105Updated 5 months ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆120Updated 6 months ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- Plot Cookbook☆51Updated 2 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 3 years ago
- ☆137Updated 3 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Apple array system☆68Updated this week
- A server, client and UI for remotely debugging Racket applications.☆30Updated 2 months ago
- An experimental Racket implementation using LLVM/MLIR☆61Updated 2 years ago
- A pure-actor virtual machine with object-capabilities and memory-safety.☆90Updated 2 weeks ago
- DocLog builds documentation from source code in Prolog☆28Updated last week
- A metalanguage for creating sophisticated DSLs in Racket.☆37Updated last week
- High-level interface for low-level programming☆119Updated 2 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆35Updated 4 months ago
- A functional scripting language compiling to pure Lambda Calculus☆31Updated 2 weeks ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆315Updated 4 months ago
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆71Updated 10 months ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago