Alternatives and similar repositories for rasm

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

• mthom / scryer-shen
  ☆56Updated 3 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated last week
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 2 weeks ago
• mflatt / zuo
  ☆41Updated 2 months ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆44Updated 2 years ago
• PollRobots / scheme
  An R7RS Scheme implemented in WebAssembly
  ☆179Updated 2 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆106Updated 3 months ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• Bogdanp / racket-review
  A linter for Racket.
  ☆46Updated 3 weeks ago
• Limvot / kraken
  The Kraken Programming Language
  ☆48Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated last week
• stchang / macrotypes
  ☆138Updated 3 years ago
• shriram / xkcd-3062
  XKCD 3062
  ☆22Updated 5 months ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 4 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆69Updated 2 weeks ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆81Updated 10 months ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated 2 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆135Updated 2 months ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆158Updated 6 months ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆83Updated last month
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆28Updated 7 months ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆30Updated last month