Applied Discrete Structures using PreTeXt
☆45Jun 8, 2026Updated 3 weeks ago
Alternatives and similar repositories for ads
Users that are interested in ads are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Aug 24, 2018Updated 7 years ago
- "A First Course in Linear Algebra" open source textbook☆73Jun 19, 2026Updated 2 weeks ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆281Mar 26, 2026Updated 3 months ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆13Jun 16, 2022Updated 4 years ago
- A general-purpose lightweight sandbox for safely executing user programs☆16Jun 24, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Tea Time Numerical Analysis☆27Sep 18, 2022Updated 3 years ago
- ☆13May 22, 2024Updated 2 years ago
- Blackboard implements a TupleSpace on top of redis☆38Jul 14, 2009Updated 16 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆455Updated this week
- Information on Source Academy, an online experiential environment for computational thinking (repo content deployed to https://about.sour…☆17Updated this week
- Litecoin source tree☆13May 18, 2021Updated 5 years ago
- Implement functions to split strings☆13May 12, 2017Updated 9 years ago
- Quantitative analysis of altcoins, or "Bitcoin alternatives."☆10Jan 13, 2015Updated 11 years ago
- Embed LaTeX in standards-compliant markdown.☆215Sep 8, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Texto do projeto base do Livro Aberto de Matemática. Este é o esforço de professores da Educação Básica e Superior, assim como de entusia…☆10Dec 22, 2016Updated 9 years ago
- Only hosting https://doc.sagemath.org/ files. Updates to the documentation must be made with PRs to https://github.com/sagemath/sage, not…☆12Dec 27, 2025Updated 6 months ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- Simplified logic programming language for Unity3D☆11Sep 6, 2020Updated 5 years ago
- A minimal modern (Lua)TeX distribution☆15May 12, 2024Updated 2 years ago
- A tool to sync a zotero library with a google drive folder via shareable links, cloud edition☆14Oct 25, 2020Updated 5 years ago
- AI Software Bill of Materials for EU AI Act☆11Jan 18, 2024Updated 2 years ago
- iji2dgrid is a grid that can be used to accelerate broadphase queries, or for coarse collision detection.☆14Apr 23, 2018Updated 8 years ago
- Ladakh☆11Jan 27, 2023Updated 3 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.
- 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
- Lucky imaging library☆17Sep 19, 2020Updated 5 years ago
- ☆16Apr 11, 2025Updated last year
- Representing DES in Z3☆16Jul 14, 2023Updated 2 years ago
- Functional iterators for Lua based on coroutines☆17Feb 25, 2020Updated 6 years ago
- Collection of resources to learn about tech used in SOCR projects☆11Dec 27, 2016Updated 9 years ago
- A demo of using audio engine to record, playback, add effect and perform mixing.☆26Sep 1, 2025Updated 10 months ago
- A Workshops on Speculative Workflows☆10Jan 10, 2017Updated 9 years ago
- A linter for the ruby language for VS Code☆11May 14, 2016Updated 10 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.
- Uses the CryptoKernel library to create a modular cryptocurrency.☆12Nov 29, 2016Updated 9 years ago
- My racket things☆22Feb 2, 2012Updated 14 years ago
- Smart contracts to finance and orchestrate energy payments of solar PV systems.☆12Oct 25, 2018Updated 7 years ago
- 4x HDNes Pack for Pac-Man (Namco, US, 1993) with hand-detailed sprites☆13Apr 7, 2018Updated 8 years ago
- Openssl for iOS and Android☆10Feb 15, 2016Updated 10 years ago
- Notes on Advanced Placement Physics C: Electricity and Magnetism☆13May 13, 2019Updated 7 years ago
- utilities to build production command line apps☆22Sep 29, 2016Updated 9 years ago