Alternatives and similar repositories for Hype

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

• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆88Updated 5 years ago
• pyx / hymn
  Hy Monad Notation - a monad library for Hy
  ☆55Updated last year
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆51Updated 9 years ago
• mudphone / Hywaii
  Hy on μKanren
  ☆19Updated 9 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆84Updated 6 years ago
• refi64 / hytest
  The first (and only) Hy unit testing framework
  ☆29Updated 8 years ago
• greghendershott / rackjure
  Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.
  ☆238Updated 2 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆194Updated 8 years ago
• ericnormand / hindley-milner
  An implementation of Hindley-Milner in Clojure.
  ☆168Updated 10 years ago
• Shen-Language / wiki
  ☆73Updated 10 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆197Updated 3 years ago
• vasil-sd / shen-libs
  Shen experimental libraries
  ☆148Updated 6 years ago
• allison-casey / HyREPL
  NREPL for Hy
  ☆114Updated 3 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆153Updated 3 years ago
• artagnon / rhine-ml
  🏞 an OCaml compiler for an untyped lisp
  ☆631Updated 10 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
• takikawa / racket-clojure
  #lang clojure
  ☆125Updated 9 years ago
• greghendershott / aws
  Racket support for Amazon Web Services.
  ☆79Updated last month
• deech / shen-elisp
  ☆130Updated last year
• ntoronto / pict3d
  3-dimensional picts
  ☆114Updated 2 years ago
• tonyg / racket-reloadable
  Support for code-reloading for long-running racket programs (such as web-servers).
  ☆62Updated 2 years ago
• pedropramos / PyonR
  A Python implementation for Racket
  ☆150Updated 7 years ago
• aaron-lebo / prose
  a simple language inspired by Io and Ioke that compiles to Clojure and ClojureScript
  ☆53Updated 10 years ago
• racket / racket7
  ☆170Updated 7 years ago
• bollwyvl / hy_kernel
  A simple IPython kernel for Hy
  ☆47Updated 3 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• jeapostrophe / racket-android
  deploying Racket on Android
  ☆98Updated 8 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆64Updated 9 years ago
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 5 years ago