brandonwillard / loghyc

Related projects ⓘ

Alternatives and complementary repositories for loghyc

• hylang / hydiomatic
  The Hy Transformer
  ☆81Updated 5 years ago
• pyx / hymn
  Hy Monad Notation - a monad library for Hy
  ☆54Updated 10 months ago
• mudphone / Hywaii
  Hy on μKanren
  ☆19Updated 8 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 5 years ago
• lexi-lambda / racket-collections
  Generic collections API for Racket
  ☆52Updated 2 years ago
• takikawa / racket-clojure
  #lang clojure
  ☆121Updated 9 years ago
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆50Updated 8 years ago
• mflatt / not-a-box
  ☆57Updated 7 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆76Updated last month
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆152Updated 3 years ago
• greghendershott / rackjure
  Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.
  ☆236Updated last year
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• Foxboron / Hype
  Function annotations for Hylang!
  ☆11Updated 10 years ago
• Calysto / calysto_hy
  Calysto Hy, a Jupyter kernel for Hy using MetaKernel
  ☆105Updated last year
• refi64 / hytest
  The first (and only) Hy unit testing framework
  ☆29Updated 7 years ago
• deech / shen-elisp
  ☆125Updated 7 months ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆61Updated 9 years ago
• allison-casey / HyREPL
  NREPL for Hy
  ☆114Updated 3 years ago
• ympbyc / Carrot
  Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…
  ☆68Updated last year
• greghendershott / travis-racket
  Use Travis CI with Racket
  ☆42Updated 3 years ago
• takikawa / tr-pfds
  Typed Racket data structure libraries
  ☆58Updated 3 years ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆100Updated 3 months ago
• zyrolasting / racket-koans
  Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.
  ☆78Updated last year
• jackfirth / rebellion
  A collection of core libraries for Racket
  ☆84Updated last month
• Bogdanp / deta
  A database mapper for Racket.
  ☆60Updated last month
• tonyg / racket-something
  Indentation-based Racket Syntax
  ☆37Updated 3 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆195Updated 2 years ago
• namin / propagators
  the Art of the Propagator
  ☆50Updated 12 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆63Updated 9 years ago