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
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated last month
• 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
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆105Updated 5 months ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆37Updated last week
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆44Updated 2 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆61Updated 2 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆82Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆34Updated 2 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆136Updated 4 months ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• Bogdanp / racket-review
  A linter for Racket.
  ☆46Updated 3 weeks ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆33Updated last year
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 4 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• shriram / xkcd-3062
  XKCD 3062
  ☆22Updated 7 months ago
• Bogdanp / racket-lua
  A #lang implementation of Lua 5.4 for Racket.
  ☆56Updated 5 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆104Updated last year
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 3 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago