Alternatives and similar repositories for dummit-foote

Users that are interested in dummit-foote are comparing it to the libraries listed below

• byorgey / haskell-course
  Introductory Haskell course materials (originally CIS 194 @ UPenn)
  ☆283Updated 3 years ago
• uwplse / oddity
  A graphical, time-traveling debugger for distributed systems
  ☆31Updated 4 years ago
• mmai / Category-Theory-for-the-Sciences
  ebook versions of the book "Category Theory for the Sciences" by David I. Spivak
  ☆112Updated 10 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• daveagp / java_jail
  chroot java jail, and JSON java trace printer
  ☆83Updated 10 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆113Updated 2 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated 2 years ago
• jwbuurlage / category-theory-programmers
  Category theory in the context of (functional) programming
  ☆521Updated 7 years ago
• lemmy / ewd998
  Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
  ☆42Updated 2 years ago
• chris-taylor / LondonHUG
  Presentation/code from my talk at London HUG
  ☆58Updated 12 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆149Updated 2 months ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆99Updated 2 years ago
• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆218Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆307Updated this week
• TiarkRompf / virtualization-lms-core
  A Framework for Runtime Code Generation and Compiled DSLs
  ☆332Updated 6 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated 2 years ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆163Updated last week
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 2 months ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆788Updated last month
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆536Updated last week
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆167Updated last year
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 8 years ago
• daveagp / java_visualize
  Visualization for Java, using the Online Python Tutor frontend
  ☆71Updated 6 years ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆379Updated 2 years ago
• onlurking / category-theory-for-programmers
  e-book version of Bartosz Milewski's Category Theory for Programmers
  ☆493Updated 7 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• hwayne / learntla
  A TLA+ guide
  ☆277Updated 3 years ago
• siraben / eopl
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Updated 5 years ago
• BinRoot / Haskell-Lectures
  Introduction to Haskell, CS 1501 Lecture slides
  ☆49Updated 11 years ago