Chicago undergraduate mathematics bibliography
☆771Feb 3, 2026Updated 9 months ago
Alternatives and similar repositories for chicago-ug-math-bib
Users that are interested in chicago-ug-math-bib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Programming Language Theory λΠ☆5,372Dec 2, 2024Updated last year
- A curated list of awesome mathematics resources☆16,841Oct 31, 2026Updated last week
- Repository for the Stacks Project☆1,102Jul 28, 2026Updated 3 months ago
- Learn Haskell☆8,029Jul 20, 2026Updated 3 months ago
- Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.☆1,264Nov 22, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A collection of resources for learning type theory and type theory adjacent fields.☆2,512Apr 21, 2025Updated last year
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆1,022Updated this week
- Collection of quotes on notation design & how it affects thought.☆1,911Dec 11, 2020Updated 5 years ago
- An open-source, customizable intermediate logic textbook☆1,392Aug 14, 2026Updated 2 months ago
- Lean Theorem Prover☆2,152Oct 14, 2023Updated 3 years ago
- My personal notes on various computer languages☆234Nov 20, 2020Updated 5 years ago
- A textbook on informal homotopy type theory☆2,175Jun 18, 2026Updated 4 months ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆19Oct 23, 2012Updated 14 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An encyclopedia of proofs☆69Nov 11, 2024Updated last year
- Cambridge Maths Tripos notes☆36Oct 14, 2020Updated 6 years ago
- Verilog visualiser☆11Jul 22, 2026Updated 3 months ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆181May 2, 2018Updated 8 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆23Feb 4, 2022Updated 4 years ago
- Python programs, usually short, of considerable difficulty, to perfect particular skills.☆24,426Oct 28, 2026Updated last week
- ☆14Dec 2, 2018Updated 7 years ago
- A Comprehensive Roadmap to Mathematics☆3,614Dec 29, 2024Updated last year
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆41May 24, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Working through Structure and Interpretation of Classical Mechanics.☆130Nov 11, 2025Updated 11 months ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 5 years ago
- GSoC 2017: Museum on FPGA - EDSAC☆10Sep 8, 2017Updated 9 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- ☆437Feb 8, 2024Updated 2 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Aug 1, 2016Updated 10 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Haskell bindings to SymEngine☆26Aug 17, 2023Updated 3 years ago
- A Coq library for Homotopy Type Theory☆1,407Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Papers from the computer science community to read and discuss.☆111,229Oct 28, 2026Updated last week
- papers of Per Martin Löf☆835Jan 30, 2024Updated 2 years ago
- Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"☆7,524Oct 15, 2024Updated 2 years ago
- Plucky Runtime IO☆16Dec 20, 2024Updated last year
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- ☆170Nov 5, 2019Updated 7 years ago