hylang / hydiomaticLinks
The Hy Transformer
☆83Updated 6 years ago
Alternatives and similar repositories for hydiomatic
Users that are interested in hydiomatic are comparing it to the libraries listed below
Sorting:
- Union types and some other functional-y stuff for Hy☆52Updated 10 years ago
- Hy Monad Notation - a monad library for Hy☆56Updated 2 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago
- Hy macros for Hypothesis framework☆14Updated 2 years ago
- A Python to Hy (https://github.com/hylang/hy) compiler☆22Updated 5 years ago
- The first (and only) Hy unit testing framework☆31Updated 8 years ago
- Calysto Hy, a Jupyter kernel for Hy using MetaKernel☆110Updated 2 years ago
- A module for handling continuations in Python☆32Updated 9 years ago
- A Racket library that lets you control Firefox via the Marionette Protocol.☆79Updated 8 months ago
- #lang clojure☆125Updated 10 years ago
- ☆35Updated 11 years ago
- the 7 gui project☆57Updated 2 years ago
- Hy on μKanren☆19Updated 10 years ago
- Collapsing Towers of Interpreters (in Scheme)☆59Updated 7 years ago
- Emacs Does Interactive Prolog☆45Updated last year
- miniKanren for Emacs☆114Updated last month
- My adventure into the marvelous world of Web Assembly☆73Updated 7 years ago
- ☆74Updated 11 years ago
- Autocompletion and code introspection for Hy.☆47Updated 3 years ago
- Generic collections API for Racket☆52Updated 3 years ago
- Window manager in the Racket programming language☆88Updated last year
- NREPL for Hy☆115Updated 4 years ago
- Racket parser combinators inspired by parsack and megaparsec☆83Updated last year
- Easier slideshows using Racket's slideshow tool☆23Updated 6 years ago
- Gambit@30 talks and related documents☆41Updated 6 years ago
- lux - a simple library for creating real-time graphical apps☆30Updated 4 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆63Updated 7 years ago
- debugging biological networks to reach coherence, completeness and consistency☆49Updated last year
- The Grand Scheme Glossary☆32Updated 8 months ago
- ☆132Updated last year