Alternatives and similar repositories for scryer-shen

Users that are interested in scryer-shen are comparing it to the libraries listed below

• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆123Updated 5 months ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆37Updated 9 months ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated last month
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• Limvot / kraken
  The Kraken Programming Language
  ☆48Updated last year
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆44Updated 2 years ago
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆142Updated this week
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆74Updated 2 months ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆105Updated 5 months ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆120Updated 6 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆104Updated last year
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆51Updated 2 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 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
• stchang / macrotypes
  ☆137Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• vmchale / apple
  Apple array system
  ☆68Updated this week
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆30Updated 2 months ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆61Updated 2 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆90Updated 2 weeks ago
• aarroyoc / doclog
  DocLog builds documentation from source code in Prolog
  ☆28Updated last week
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆37Updated last week
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆119Updated 2 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆35Updated 4 months ago
• aartaka / lamber
  A functional scripting language compiling to pure Lambda Calculus
  ☆31Updated 2 weeks ago
• ciao-lang / ciao
  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
• soegaard / metapict
  A graphics library for producing Racket picts in a MetaPost/TikZ style.
  ☆71Updated 10 months ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆30Updated 4 years ago