mthom / scryer-shen

Related projects ⓘ

Alternatives and complementary repositories for scryer-shen

• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• soegaard / metapict
  A graphics library for producing Racket picts in a MetaPost/TikZ style.
  ☆65Updated 2 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆66Updated 2 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆59Updated last month
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆66Updated last month
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆102Updated 2 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆40Updated last year
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆58Updated last year
• Limvot / kraken
  The Kraken Programming Language
  ☆46Updated 9 months ago
• Bogdanp / racket-review
  A linter for Racket.
  ☆44Updated last month
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆82Updated 3 weeks ago
• panicz / grasp
  The GRAphical Scheme Programming Environment
  ☆35Updated this week
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆100Updated 2 months ago
• jackfirth / resyntax
  A Racket refactoring engine
  ☆58Updated 2 weeks ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆20Updated last week
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆76Updated 3 weeks ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 2 years ago
• mflatt / zuo
  ☆40Updated 6 months ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆27Updated this week
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆27Updated last year
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• PollRobots / scheme
  An R7RS Scheme implemented in WebAssembly
  ☆171Updated last year
• fujita-y / ypsilon
  R7RS/R6RS Scheme Implementation
  ☆54Updated last year
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆30Updated last year
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• Bogdanp / racket-lua
  A #lang implementation of Lua 5.4 for Racket.
  ☆52Updated 10 months ago
• jackfirth / rebellion
  A collection of core libraries for Racket
  ☆84Updated 3 weeks ago