Alternatives and similar repositories for purely-fun

Users that are interested in purely-fun are comparing it to the libraries listed below

• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• Erdwolf / prolog
  A prolog interpreter written in Haskell.
  ☆62Updated 9 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆74Updated 10 months ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆220Updated 6 years ago
• AlexeyRaga / purescript-react-electron-example
  ☆51Updated 9 years ago
• agocorona / MFlow
  (Haskell) Web application server with stateful, type safe user interactions and widget combinators
  ☆101Updated 9 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• jetaggart / light-haskell
  Haskell plugin for LightTable
  ☆114Updated 9 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆34Updated 2 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆110Updated 11 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• serras / lambdaconf-2015-web
  Projects for LambdaConf 2015 Haskell web workshop
  ☆63Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 4 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆68Updated 11 years ago
• type-theory / learn-tt
  A collection of resources for learning type theory.
  ☆100Updated 9 years ago
• hoodunit / purescript-react-native
  Low-level PureScript wrappers for React Native
  ☆60Updated 8 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 10 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆92Updated 8 years ago
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 15 years ago
• ttsiodras / Score4
  AI: Implementing Score4 (Connect four) in functional and imperative languages
  ☆45Updated 2 years ago
• nostrademons / eve-language
  A purely functional programming language intended for practical programming.
  ☆28Updated 15 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆122Updated 7 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆70Updated 6 years ago
• xgrommx / purescript-ecosystem
  ☆97Updated 4 years ago
• stchang / parsack
  A basic Parsec-like monadic parser combinator library implementation in Racket.
  ☆49Updated 2 years ago
• bwo / monads
  yet another monad lib for clojure
  ☆94Updated 7 years ago