Alternatives and similar repositories for Hype:

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

• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆51Updated 9 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆81Updated 5 years ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆88Updated 4 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• mudphone / Hywaii
  Hy on μKanren
  ☆19Updated 9 years ago
• pyx / hymn
  Hy Monad Notation - a monad library for Hy
  ☆54Updated last year
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• Shen-Language / wiki
  ☆73Updated 10 years ago
• vishesh / elasticsearch.rkt
  Elasticsearch bindings for Racket
  ☆9Updated 6 years ago
• ympbyc / Carrot
  Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…
  ☆67Updated 2 years ago
• tonyg / racket-reloadable
  Support for code-reloading for long-running racket programs (such as web-servers).
  ☆62Updated 2 years ago
• refi64 / hytest
  The first (and only) Hy unit testing framework
  ☆29Updated 8 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• ntoronto / pict3d
  3-dimensional picts
  ☆114Updated 2 years ago
• mflatt / not-a-box
  ☆57Updated 7 years ago
• allison-casey / HyREPL
  NREPL for Hy
  ☆114Updated 3 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆166Updated 6 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• hylang / hygdrop
  IRC bot for Hy
  ☆23Updated 10 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• deech / shen-elisp
  ☆127Updated last year
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• takikawa / racket-clojure
  #lang clojure
  ☆124Updated 9 years ago
• gfredericks / the-halting-project
  What's the simplest Turing Machine with unknown behavior?
  ☆13Updated 8 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆153Updated 3 years ago
• lexi-lambda / racket-collections
  Generic collections API for Racket
  ☆52Updated 2 years ago
• greghendershott / rackjure
  Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.
  ☆238Updated 2 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 8 months ago
• greghendershott / aws
  Racket support for Amazon Web Services.
  ☆78Updated 4 months ago