Limvot / kraken

Related projects ⓘ

Alternatives and complementary repositories for kraken

• mthom / scryer-shen
  ☆43Updated last week
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆60Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆40Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆27Updated last week
• drym-org / qi
  An embeddable flow-oriented language.
  ☆59Updated this week
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆66Updated 2 years ago
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆125Updated this week
• akeep / scheme-to-llvm
  A compiler to compile a simple subset of scheme to LLVM 10
  ☆108Updated 3 years ago
• mnieper / scheme-macros
  Scheme Macro Programming
  ☆48Updated 3 months ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆66Updated last month
• panicz / grasp
  The GRAphical Scheme Programming Environment
  ☆36Updated this week
• playXE / capy
  Scheme implementation (now maybe working properly)
  ☆19Updated 11 months ago
• rkoeninger / ShenScript
  Shen for JavaScript
  ☆58Updated 2 months ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆105Updated last week
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆51Updated last year
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆30Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• fujita-y / ypsilon
  R7RS/R6RS Scheme Implementation
  ☆55Updated last year
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆102Updated 2 years ago
• Logoi-Linguistics / Logoi-Linguistics
  Current [24/11] source repository for the Logoi 1) natural programming language, 2) minimalist tutorial & 3) hyperextensible/mouseless te…
  ☆28Updated this week
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 2 years ago
• ShawSumma / lure
  lang lua for racket
  ☆24Updated last year
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆29Updated 3 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 6 years ago
• dzaima / BQN
  ☆29Updated 5 months ago