Limvot / kraken

Related projects ⓘ

Alternatives and complementary repositories for kraken

• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• mthom / scryer-shen
  ☆42Updated this week
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆59Updated last year
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆20Updated last week
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆59Updated last month
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆66Updated 2 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆66Updated last month
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆27Updated this week
• ShawSumma / lure
  lang lua for racket
  ☆24Updated last year
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 6 years ago
• fujita-y / ypsilon
  R7RS/R6RS Scheme Implementation
  ☆54Updated last year
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆35Updated 7 years ago
• Bogdanp / racket-lua
  A #lang implementation of Lua 5.4 for Racket.
  ☆52Updated 10 months ago
• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 2 years ago
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆125Updated this week
• cyclone-scheme / winds
  The package manager for Cyclone Scheme.
  ☆28Updated 8 months ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆105Updated 7 months ago
• ktakashi / sagittarius-scheme
  A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub
  ☆49Updated last week
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 3 months ago
• panicz / grasp
  The GRAphical Scheme Programming Environment
  ☆35Updated this week
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• akeep / scheme-to-llvm
  A compiler to compile a simple subset of scheme to LLVM 10
  ☆108Updated 3 years ago
• Logoi-Linguistics / Logoi-Linguistics
  Current [24/10] source repository for the Logoi 1) natural programming language, 2) minimalist tutorial & 3) hyperextensible/mouseless te…
  ☆28Updated this week
• 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
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆62Updated 5 months ago