Alternatives and similar repositories for hydiomatic

Users that are interested in hydiomatic are comparing it to the libraries listed below

• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆51Updated 9 years ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆88Updated 5 years ago
• tuturto / archimedes
  Hy macros for Hypothesis framework
  ☆14Updated last year
• pyx / hymn
  Hy Monad Notation - a monad library for Hy
  ☆55Updated last year
• woodrush / py2hy
  A Python to Hy (https://github.com/hylang/hy) compiler
  ☆22Updated 5 years ago
• refi64 / hytest
  The first (and only) Hy unit testing framework
  ☆29Updated 8 years ago
• mudphone / Hywaii
  Hy on μKanren
  ☆19Updated 9 years ago
• Foxboron / Hype
  Function annotations for Hylang!
  ☆11Updated 10 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆34Updated 6 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 10 months ago
• Bogdanp / marionette
  A Racket library that lets you control Firefox via the Marionette Protocol.
  ☆75Updated 3 months ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆57Updated 6 years ago
• alex-hhh / data-frame
  A data frame implementation for Racket
  ☆37Updated last year
• ekaschalk / jedhy
  Autocompletion and code introspection for Hy.
  ☆46Updated 2 years ago
• nickdrozd / reazon
  miniKanren for Emacs
  ☆113Updated 3 years ago
• wedesoft / aiscm
  Guile numerical arrays and tensor extension
  ☆54Updated 3 months ago
• ThatGeoGuy / chicken-miniKanren
  Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)
  ☆11Updated 3 years ago
• yardsale8 / hymagic
  ☆34Updated 11 years ago
• triska / ediprolog
  Emacs Does Interactive Prolog
  ☆41Updated 7 months ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• jasonhemann / constraint-microKanren
  A microKanren framework for implementing constraints.
  ☆18Updated 6 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• euhmeuh / wasm-adventure
  My adventure into the marvelous world of Web Assembly
  ☆63Updated 6 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 7 years ago
• allison-casey / HyREPL
  NREPL for Hy
  ☆114Updated 3 years ago
• vseloved / should-test
  A minimal yet feature-rich Common Lisp test framework
  ☆44Updated 5 years ago
• Calysto / calysto_hy
  Calysto Hy, a Jupyter kernel for Hy using MetaKernel
  ☆107Updated last year
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• mfelleisen / 7GUI
  the 7 gui project
  ☆56Updated last year
• plande / grand-scheme
  The Grand Scheme Glossary
  ☆31Updated 3 years ago