Alternatives and similar repositories for rasm

Users that are interested in rasm are comparing it to the libraries listed below

• mthom / scryer-shen
  ☆56Updated 5 months ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated last week
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆68Updated 3 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆44Updated 2 years ago
• mflatt / zuo
  ☆41Updated 5 months ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆105Updated 5 months ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆162Updated 9 months ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆137Updated 4 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• Bogdanp / racket-lua
  A #lang implementation of Lua 5.4 for Racket.
  ☆56Updated 2 weeks ago
• Bogdanp / racket-review
  A linter for Racket.
  ☆46Updated last month
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆61Updated 2 years ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆37Updated 3 weeks ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆82Updated last year
• soegaard / pyffi
  Use Python from Racket
  ☆35Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• mflatt / expander
  ☆75Updated 8 months ago
• soegaard / metapict
  A graphics library for producing Racket picts in a MetaPost/TikZ style.
  ☆71Updated 11 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆47Updated last week
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• euhmeuh / wasm-adventure
  My adventure into the marvelous world of Web Assembly
  ☆72Updated 7 years ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 4 years ago
• PollRobots / scheme
  An R7RS Scheme implemented in WebAssembly
  ☆179Updated 2 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆61Updated 16 years ago