Alternatives and similar repositories for haskell2019spring

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

• latte-central / LaTTe
  LaTTe : a Laboratory for Type Theory experiments (in clojure)
  ☆265Updated 10 months ago
• namin / logically
  explorations in core.logic
  ☆118Updated last year
• swannodette / delimc
  Delimited continuations for Clojure
  ☆214Updated 5 years ago
• pfeodrippe / recife
  A Clojure model checker (using the TLA+/TLC engine)
  ☆143Updated last month
• f-f / dhall-clj
  Dhall to and from Clojure
  ☆76Updated 6 years ago
• lovrosdu / klor
  Choreographies in Clojure
  ☆87Updated last year
• finkel-lang / finkel
  Haskell in S-expression
  ☆176Updated last year
• krisajenkins / AdventOfCode
  PureScript solutions for Advent of Code
  ☆17Updated 3 years ago
• halcat0x15a / cont
  Delimited continuations library
  ☆17Updated 11 years ago
• blancas / morph
  A Library of Morphisms: Monoids, Functors, and Monads
  ☆89Updated 10 years ago
• Viasat / salt
  ☆188Updated 6 years ago
• tgk / propaganda
  A propagator library for Clojure
  ☆167Updated 11 years ago
• bsless / resources
  Just a collection of resources, talks, posts etc. which I found enlightening
  ☆29Updated 4 years ago
• joakin / cljs-browser-repl
  A ClojureScript REPL and tutorial in your browser!
  ☆36Updated 8 years ago
• borkdude / re-find
  Find functions by matching specs
  ☆127Updated 6 years ago
• cleanlang / clean
  A Clean Compile to JavaScript Language
  ☆29Updated 3 years ago
• webyrd / will-writes-books
  ☆12Updated last year
• projectional-haskell / structured-haskell-mode
  Structured editing minor mode for Haskell in Emacs
  ☆545Updated 6 years ago
• halgari / heliotrope
  A lisp with support for fexprs and interpreter collapsing
  ☆37Updated 7 years ago
• quoll / cast
  Concrete/Abstract Syntax Trees for Clojure
  ☆15Updated 6 years ago
• active-group / active-clojure
  A library with various basic utilities for programming with Clojure.
  ☆27Updated 3 months ago
• blancas / kern
  A Parser Combinators Library for Clojure
  ☆241Updated 4 years ago
• ljos / ob-prolog
  Org babel functions for prolog evaluation.
  ☆12Updated 6 years ago
• axellang / axel
  Haskell + Lisp
  ☆214Updated last year
• jdormit / sicp-logic
  A Clojure implementation of the logic programming language from chapter 4 of SICP
  ☆68Updated 6 years ago
• webyrd / miniKanren-with-symbolic-constraints
  Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
  ☆167Updated 8 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆63Updated 7 years ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆79Updated 6 years ago
• stopachka / godel-numbers
  ☆38Updated 5 years ago
• scicloj / wolframite
  An interface between Clojure and Wolfram Language (the language of Mathematica)
  ☆108Updated 3 months ago