dcolish / purely-fun

Related projects ⓘ

Alternatives and complementary repositories for purely-fun

• KesterTong / idris2048
  2048 in Idris
  ☆121Updated 6 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated 2 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 5 years ago
• siraben / eopl
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Updated 4 years ago
• agocorona / MFlow
  (Haskell) Web application server with stateful, type safe user interactions and widget combinators
  ☆100Updated 9 years ago
• AlexeyRaga / purescript-react-electron-example
  ☆51Updated 9 years ago
• exclipy / pdata
  Purely functional, persistent and efficient vector and hash-map data structures for Haskell
  ☆45Updated 6 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 8 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 9 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 6 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 9 years ago
• stchang / parsack
  A basic Parsec-like monadic parser combinator library implementation in Racket.
  ☆50Updated last year
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 7 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆57Updated 11 years ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 8 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• zjhmale / Ntha
  The Ntha Programming Language
  ☆93Updated 7 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 9 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 11 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆71Updated 3 months ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆35Updated last year
• serras / lambdaconf-2015-web
  Projects for LambdaConf 2015 Haskell web workshop
  ☆63Updated 9 years ago
• stchang / graph
  Generic graph library and algorithms for Racket.
  ☆58Updated 11 months ago
• Shen-Language / wiki
  ☆71Updated 9 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• cobbpg / elerea
  A simple FRP library providing leak-free first-class streams.
  ☆116Updated 8 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆47Updated 6 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago