Alternatives and similar repositories for discrete-mathematics:

Users that are interested in discrete-mathematics are comparing it to the libraries listed below

• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆165Updated 3 years ago
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆39Updated 3 years ago
• aelve / guide
  A workspace for research teams
  ☆105Updated 5 years ago
• abhin4v / link
  A simple multithreaded chat server in haskell
  ☆35Updated 5 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• sdiehl / papers
  ☆96Updated 10 years ago
• joelchelliah / simple-repl-in-haskell
  How to make you very own REPL in Haskell
  ☆30Updated 7 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆84Updated 8 years ago
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 5 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 2 months ago
• bitemyapp / papers
  ☆36Updated 5 years ago
• haskell / parallel
  a library for parallel programming
  ☆94Updated 2 months ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆57Updated 6 years ago
• andrevdm / SimpleHaskellStackVM
  Simple demonstration stack based virtual machine written in Haskell
  ☆42Updated 8 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆77Updated 2 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆47Updated 7 years ago
• haskell / pretty
  Haskell Pretty-printer library
  ☆73Updated last month
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 5 years ago
• bjornbm / dimensional
  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  ☆112Updated 2 months ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• anchpop / wise_mans_haskell
  Free book for learning Haskell
  ☆48Updated 2 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆59Updated 4 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• rodrigogribeiro / agda-software-foundations
  Porting of software foundations book to Agda
  ☆37Updated 10 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆204Updated 5 years ago
• effectfully-ou / sketches
  A Haskell blog
  ☆132Updated 6 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆43Updated 4 years ago