robertzk / dummit-footeLinks
Some solutions to the Dummit & Foote abstract algebra textbook
☆13Updated 10 years ago
Alternatives and similar repositories for dummit-foote
Users that are interested in dummit-foote are comparing it to the libraries listed below
Sorting:
- Introductory Haskell course materials (originally CIS 194 @ UPenn)☆283Updated 3 years ago
- A graphical, time-traveling debugger for distributed systems☆31Updated 4 years ago
- ebook versions of the book "Category Theory for the Sciences" by David I. Spivak☆112Updated 10 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- chroot java jail, and JSON java trace printer☆83Updated 10 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated 2 years ago
- Category theory in the context of (functional) programming☆521Updated 7 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated 2 years ago
- Presentation/code from my talk at London HUG☆58Updated 12 years ago
- Mathematical Components (the Book)☆149Updated 2 months ago
- Student-run wiki for students interested in computer science at Cornell University☆99Updated 2 years ago
- A talk on using recursion schemes in FP.☆218Updated last year
- My personal repository of formally verified mathematics.☆307Updated this week
- A Framework for Runtime Code Generation and Compiled DSLs☆332Updated 6 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- 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
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 2 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆788Updated last month
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆536Updated last week
- The Leon system for verification, synthesis, repair☆167Updated last year
- small MiniZinc examples demonstrating various language features☆125Updated 8 years ago
- Visualization for Java, using the Online Python Tutor frontend☆71Updated 6 years ago
- All the examples in Real World OCaml☆379Updated 2 years ago
- e-book version of Bartosz Milewski's Category Theory for Programmers☆493Updated 7 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- A TLA+ guide☆277Updated 3 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 5 years ago
- Introduction to Haskell, CS 1501 Lecture slides☆49Updated 11 years ago