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
  ☆164Updated 4 years ago
• aelve / guide
  A workspace for research teams
  ☆105Updated 5 years ago
• sdiehl / papers
  ☆96Updated 10 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆205Updated 6 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• abhin4v / link
  A simple multithreaded chat server in haskell
  ☆35Updated 5 years ago
• raaz-crypto / raaz
  Cryptographic library for Haskell
  ☆68Updated 3 months ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated last month
• bitemyapp / papers
  ☆35Updated 5 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆69Updated 5 years ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated last year
• rodrigogribeiro / agda-software-foundations
  Porting of software foundations book to Agda
  ☆38Updated 11 years ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 6 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆57Updated last year
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆72Updated 5 years ago
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆39Updated 3 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 4 years ago
• ocharles / netwire-classics
  Classic games recreated in netwire
  ☆94Updated 8 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• zfoh / haskell-beginners-projects
  A couple of Haskell beginner projects, for ZuriHac 2016
  ☆44Updated 7 years ago
• coq-concurrency / pluto
  A web server written in Coq.
  ☆87Updated 8 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• UniMath / Schools
  ☆84Updated 3 weeks ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 8 years ago
• bobatkey / sott
  Simplified Observational Type Theory
  ☆81Updated 2 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago