Alternatives and similar repositories for tryhy:

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

• divs1210 / Impala
  Simple, extensible bytecode interpreter
  ☆26Updated 9 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆63Updated 9 years ago
• halgari / async-mu-kanren
  A POC implementation of muKanren using CSP (core.async)
  ☆31Updated 10 years ago
• rufoa / cljcc
  ☆12Updated 8 years ago
• greghendershott / racket-clojure-cheat-sheet
  My working notes about Racket and Clojure equivalencies organized as a cheat sheet.
  ☆27Updated 10 years ago
• weavejester / decorate
  Clojure macros for decorating functions
  ☆25Updated 9 years ago
• takikawa / racket-clojure
  #lang clojure
  ☆124Updated 9 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆10Updated 9 years ago
• VincentToups / racket-lib
  My racket things
  ☆22Updated 12 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 9 years ago
• jduey / protocol-monads
  A protocol based monad implementation for clojure
  ☆62Updated 10 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• typedclojure / core.typed
  Mirror of core.typed for internal development.
  ☆14Updated 6 years ago
• mikera / magic
  Experimental typed JVM Lisp inspired by Clojure
  ☆32Updated 6 years ago
• fvm-project / fvm
  A Clojure library for writing self-optimizing interpreters
  ☆29Updated 4 years ago
• LuxLang / tutorial1
  Simple TODO web-app using Vert.x as server
  ☆16Updated 8 years ago
• DamienCassou / DSLides
  A DSL to create slides written in Common Lisp
  ☆14Updated 13 years ago
• dyoo / ragg
  A parser generator generator
  ☆17Updated last year
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• yogthos / pulsar-example
  ☆11Updated 9 years ago
• mflatt / sirmail
  an IMAP mail client implemented in Racket
  ☆31Updated 6 months ago
• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 11 years ago
• typedclojure / auto-annotation
  A demo for Automatic Annotation inference for Typed Clojure
  ☆22Updated 8 years ago
• bodil / cljs-nashorn
  ClojureScript REPL on Nashorn
  ☆47Updated 10 years ago
• CircleCI-Archived / schema-typer
  ☆61Updated 10 years ago
• SICPDistilled / minilisp
  The metacircular evaluator(ish)
  ☆16Updated 9 years ago
• woodrush / py2hy
  A Python to Hy (https://github.com/hylang/hy) compiler
  ☆23Updated 4 years ago
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 9 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago