emk / haskell-probability-monads

Related projects ⓘ

Alternatives and complementary repositories for haskell-probability-monads

• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• ocharles / blog
  The contents of ocharles.org.uk/blog
  ☆66Updated 2 years ago
• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 10 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• Gabriella439 / Haskell-Lens-Tutorial-Library
  The missing tutorial module for the lens library
  ☆81Updated 6 months ago
• Gabriella439 / Haskell-Bears-Library
  Relational algebra
  ☆25Updated 7 years ago
• robbinch / Papers
  A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
  ☆23Updated 8 years ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 7 years ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 6 years ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆24Updated 8 years ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 8 years ago
• mstksg / inCode
  Source for personal blog.
  ☆76Updated last week
• qfpl / sv
  Comma (and other) separated values
  ☆76Updated last year
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆72Updated 7 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 9 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 3 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆65Updated last week
• int-index / ether
  Monad Transformers and Classes
  ☆78Updated 5 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆157Updated 6 months ago
• rpeszek / IdrisTddNotes
  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
  ☆47Updated 2 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆68Updated last month
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago
• lambdageek / freer-church
  Church-encoding of the Freer monad
  ☆29Updated 8 years ago
• ekmett / auth
  ☆40Updated 6 years ago
• fpco / schoolofhaskell
  ☆34Updated 8 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated last year
• chrisdone-archive / labels
  Declare and access tuple fields with labels
  ☆60Updated 5 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago