GrantMatejka / rasmLinks
Racket to WebAssembly Compiler
☆37Updated 10 months ago
Alternatives and similar repositories for rasm
Users that are interested in rasm are comparing it to the libraries listed below
Sorting:
- ☆55Updated 6 months ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 3 years ago
- Kanren with databases☆44Updated last year
- A DSL for runtime code generation in racket☆68Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆38Updated last month
- An embeddable flow-oriented language.☆72Updated last month
- Wasm tooling in Racket.☆45Updated 2 years ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆105Updated 6 months ago
- Mystery Languages☆41Updated 2 years ago
- ☆79Updated 6 years ago
- An R7RS Scheme implemented in WebAssembly☆181Updated 2 years ago
- Slog 1.0☆45Updated last year
- ☆41Updated 5 months ago
- ☆137Updated 3 years ago
- A 2D RPG implemented in the Rhombus Racket dialect☆57Updated 2 years ago
- A simple incomplete Scheme-to-C compiler☆74Updated 3 months ago
- A lisp dialect based on pattern matching and term rewriting☆85Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- A Prolog library to connect to PostgreSQL databases☆106Updated last year
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 12 years ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Prototypes: Object Orientation, Functionally☆47Updated this week
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 5 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆71Updated 11 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆92Updated 2 weeks ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆165Updated 10 months ago
- A server, client and UI for remotely debugging Racket applications.☆30Updated 4 months ago