hauntedhost / programming-in-haskell
Programming in Haskell (2nd ed) by Graham Hutton
☆13Updated 4 months ago
Alternatives and similar repositories for programming-in-haskell:
Users that are interested in programming-in-haskell are comparing it to the libraries listed below
- Programming in Haskell by Graham Hutton, 2nd edition.☆12Updated 7 years ago
- Updated 2 years ago
- Solutions to OCaml Programming☆81Updated 8 months ago
- www☆16Updated last year
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- Examples and Exercises for the book "More OCaml"☆63Updated 2 years ago
- Source code from the "Learning TDD" book☆78Updated 2 years ago
- Visualization of data structures and algorithms using Python and Tkinter☆36Updated last year
- Data about projects authored and distributed with PreTeXt.☆9Updated last year
- "Grokking Concurrency" book code examples☆100Updated 3 months ago
- A formalization of geometry in Coq based on Tarski's axiom system☆196Updated last week
- Comparing with different python web frameworking☆9Updated 3 years ago
- A collection of programs found in `The Algorithm Design Manual (2nd Edition) by Steven Skiena`☆50Updated 6 years ago
- The Lean version manager☆368Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆72Updated last year
- Writing proofs to Twitter since April 2020☆11Updated 2 years ago
- Server to host lean games.☆254Updated this week
- Multi platform setup for Coq, Coq libraries and tools☆200Updated 2 weeks ago
- UCalgary version of forallx, an introduction to formal logic☆106Updated 3 months ago
- Converts LaTeX documents to HTML☆279Updated last week
- Functional Programming in Go, published by Packt☆45Updated last year
- Source code for the nLab☆173Updated last month
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆18Updated 3 years ago
- Software Foundations☆127Updated 11 months ago
- Source Code for 'Practical Haskell, 3rd Edition' by Alejandro Serrano Mena☆12Updated 2 years ago
- Visual Studio Code extension for the Lean 4 proof assistant☆205Updated this week
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆45Updated this week
- Microservices with Go, published by Packt☆165Updated 5 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- Errata for Algorithms for Optimization book☆70Updated 2 weeks ago