brandonwillard / loghyc
Loghyc - a miniKanren implementation in Hy
☆89Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for loghyc
- The Hy Transformer☆81Updated 5 years ago
- Hy Monad Notation - a monad library for Hy☆54Updated 10 months ago
- Hy on μKanren☆19Updated 8 years ago
- Union types and some other functional-y stuff for Hy☆50Updated 8 years ago
- Generic collections API for Racket☆52Updated 2 years ago
- The first (and only) Hy unit testing framework☆29Updated 7 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Racket parser combinators inspired by parsack and megaparsec☆77Updated last month
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆236Updated last year
- ☆57Updated 7 years ago
- A database mapper for Racket.☆60Updated 2 months ago
- A data frame implementation for Racket☆37Updated 6 months ago
- Generic graph library and algorithms for Racket.☆58Updated last year
- #lang clojure☆121Updated 9 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- NREPL for Hy☆114Updated 3 years ago
- Function annotations for Hylang!☆11Updated 10 years ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆50Updated last year
- Typed Racket data structure libraries☆58Updated 3 years ago
- A Racket library that lets you control Firefox via the Marionette Protocol.☆74Updated 2 months ago
- Use Travis CI with Racket☆42Updated 3 years ago
- ☆71Updated 9 years ago
- Fast, idiomatic Redis bidings for Racket.☆32Updated 6 months ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Probabilistic miniKanren☆62Updated 9 years ago
- Probabilistic Programming☆40Updated 11 months ago
- A collection of core libraries for Racket☆84Updated this week
- 2d syntax☆19Updated 3 weeks ago
- ☆43Updated 3 weeks ago