Foxboron / Hype

Related projects ⓘ

Alternatives and complementary repositories for Hype

• mudphone / Hywaii
  Hy on μKanren
  ☆19Updated 8 years ago
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆50Updated 8 years ago
• pyx / hymn
  Hy Monad Notation - a monad library for Hy
  ☆54Updated 10 months ago
• hylang / hydiomatic
  The Hy Transformer
  ☆81Updated 5 years ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆89Updated 4 years ago
• allison-casey / HyREPL
  NREPL for Hy
  ☆114Updated 3 years ago
• ympbyc / Carrot
  Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…
  ☆68Updated last year
• refi64 / hytest
  The first (and only) Hy unit testing framework
  ☆29Updated 7 years ago
• vishesh / elasticsearch.rkt
  Elasticsearch bindings for Racket
  ☆9Updated 6 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• takikawa / racket-clojure
  #lang clojure
  ☆121Updated 9 years ago
• deech / shen-elisp
  ☆125Updated 8 months ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• hylang / hygdrop
  IRC bot for Hy
  ☆23Updated 10 years ago
• lexi-lambda / racket-collections
  Generic collections API for Racket
  ☆52Updated 2 years ago
• drmeister / legacy-externals-clasp
  Libraries that clasp depends on
  ☆13Updated 8 years ago
• gfredericks / the-halting-project
  What's the simplest Turing Machine with unknown behavior?
  ☆13Updated 8 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆33Updated 5 years ago
• Shen-Language / wiki
  ☆71Updated 9 years ago
• tonyg / racket-reloadable
  Support for code-reloading for long-running racket programs (such as web-servers).
  ☆62Updated last year
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 3 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆76Updated last month
• greghendershott / aws
  Racket support for Amazon Web Services.
  ☆78Updated 2 weeks ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆152Updated 3 years ago
• cloxp / cloxp-install
  Clojure IDE for explorative and interactive development.
  ☆67Updated 7 years ago
• Kodiologist / Rogue-TV
  A game-show roguelike about a roguelike game show
  ☆18Updated last year
• rickhall2000 / OnLisp
  A collection of examples from On Lisp by Paul Graham translated into Clojure.
  ☆54Updated 10 years ago
• ntoronto / pict3d
  3-dimensional picts
  ☆114Updated last year
• mflatt / not-a-box
  ☆57Updated 7 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago