A textbook for the transition to proof course for mathematics majors utilizing IBL.
☆52Jun 7, 2026Updated 2 months ago
Alternatives and similar repositories for IBL-IntroToProof
Users that are interested in IBL-IntroToProof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository of materials for Discrete Mathematics for Computer Science 1--2 at Grand Valley State University☆32Apr 27, 2026Updated 3 months ago
- Data about projects authored and distributed with PreTeXt.☆11Apr 12, 2026Updated 3 months ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆35May 18, 2023Updated 3 years ago
- PG Renderer for WeBWorK problems [powered by Mojolicious]☆10Jul 8, 2026Updated last month
- Metakit is an efficient embedded database library with a small footprint☆28Jun 14, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Shell scripts☆13Nov 10, 2020Updated 5 years ago
- Collection of small Lua modules☆10Feb 15, 2026Updated 5 months ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆121Aug 3, 2026Updated last week
- Corral's Vector Calculus☆10Dec 21, 2025Updated 7 months ago
- Scripts & snippets☆14Apr 28, 2026Updated 3 months ago
- repository for anton webfont☆14Jul 24, 2016Updated 10 years ago
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 6 years ago
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- Modern C++ Regular Expressions library, wrapping both POSIX and Lua string patterns.☆11May 31, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Attempt to bring some refreshing and cleanup to TinyScheme as found at sourceforge☆18Jul 12, 2025Updated last year
- NOTE: This repository is obsolete. Was: A pilot project to use Clojure for introductory computer science courses at the University of Min…☆20Sep 30, 2017Updated 8 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- A technical guide for pairing CJK and Latin fonts☆13Oct 5, 2021Updated 4 years ago
- Lua module for miniz support☆15Jul 11, 2024Updated 2 years ago
- My solutions to either class-assigned problems, problems I've found in books, or problem sets that I thought were interesting.☆19Mar 8, 2026Updated 5 months ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆285Updated this week
- illustration how to embed TinyScheme within C programs☆22May 13, 2016Updated 10 years ago
- Tracks to use with ofxTimeline☆15Feb 12, 2013Updated 13 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Fully featured SDK for Binance DEX. Use it, make some profit in crypto, spread the word, support mass adoption. :)☆12Apr 30, 2019Updated 7 years ago
- C++ library for semigroups and monoids☆69Updated this week
- Introduction to Econometrics at the University of Oregon (EC421) during Winter quarter, 2022. Taught by Ed Rubin.☆13Mar 5, 2022Updated 4 years ago
- TFEB.ORG Lisp hax. Archived: now https://tfeb.org/computer/repos/tfeb-lisp-hax.git☆14Dec 13, 2025Updated 7 months ago
- Inertia is the register-based, lightweight, Turing-complete virtual machine running a small set of bytecodes for benchmarking VM performa…☆14Nov 2, 2016Updated 9 years ago
- ☆21Nov 28, 2025Updated 8 months ago
- Service App to run scrips for algo trading and manage market data: https://www.youtube.com/playlist?list=PLbiaIO7sG7FYlrgOV1XLHrnaufJ7fK…☆11Mar 22, 2019Updated 7 years ago
- ☆11Jan 16, 2024Updated 2 years ago
- medium like CSS typography setting☆19Jun 18, 2014Updated 12 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Lua library for computing with physical quantities.☆14Jan 7, 2023Updated 3 years ago
- Linear assignment problem solver for .NET.☆11Jan 24, 2026Updated 6 months ago
- Slides for Bayesian Workshops across the world☆13Oct 3, 2023Updated 2 years ago
- Interactive turtle power in your browser☆23Jul 26, 2026Updated 2 weeks ago
- Save memory with custom module "tables"☆25Oct 31, 2017Updated 8 years ago
- Cross-referencing system for LaTeX, inspired with RDF☆18Nov 19, 2024Updated last year
- Encyclopedia of Combinatorial Structures☆15Jun 27, 2018Updated 8 years ago