Applied Discrete Structures using PreTeXt
☆45Apr 1, 2026Updated last month
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:
- Data about projects authored and distributed with PreTeXt.☆10Apr 12, 2026Updated 3 weeks ago
- Open Source Precollege Algebra Textbook☆22Mar 10, 2026Updated last month
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Aug 24, 2018Updated 7 years ago
- 📕 Writing tests, the DataMade way☆16Sep 24, 2020Updated 5 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆35Updated this week
- 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 First Course in Linear Algebra" open source textbook☆71Apr 11, 2026Updated 3 weeks ago
- ☆18Jan 8, 2026Updated 3 months ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆280Mar 26, 2026Updated last month
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Sep 15, 2022Updated 3 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Jun 16, 2022Updated 3 years ago
- Tea Time Numerical Analysis☆26Sep 18, 2022Updated 3 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☆439Apr 18, 2026Updated 2 weeks ago
- C library for efficient string matching with Aho-Corasick☆21Jan 20, 2012Updated 14 years ago
- 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.
- ☆13Nov 29, 2017Updated 8 years ago
- Implement functions to split strings☆13May 12, 2017Updated 8 years ago
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 5 years ago
- ReefLearning is a python module for automated estimations of coral reef benthic cover from images, using a deep learning framework☆16Jan 24, 2020Updated 6 years ago
- Pure lua implementation of utf8proc and a few more unicode utilities☆13Jun 11, 2015Updated 10 years ago
- Modern C++ Regular Expressions library, wrapping both POSIX and Lua string patterns.☆11May 31, 2015Updated 10 years ago
- Embed LaTeX in standards-compliant markdown.☆215Sep 8, 2015Updated 10 years ago
- ☆19Apr 15, 2026Updated 2 weeks ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Simplified logic programming language for Unity3D☆11Sep 6, 2020Updated 5 years ago
- A minimal modern (Lua)TeX distribution☆15May 12, 2024Updated last year
- Inertia is the register-based, lightweight, Turing-complete virtual machine running a small set of bytecodes for benchmarking VM performa…☆13Nov 2, 2016Updated 9 years ago
- A TeX implementation in a single C++11 class.☆19Sep 19, 2020Updated 5 years ago
- AI Software Bill of Materials for EU AI Act☆12Jan 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
- An R package providing a GUI ('shiny' app) for the R package 'brms'.☆10Mar 23, 2026Updated last month
- Theory of Computing Report☆14Nov 13, 2025Updated 5 months ago
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆15Oct 1, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- SIGPwny's websites and club content monorepo☆13Apr 22, 2026Updated last week
- Monorepo for challenges, infra, and theming for UIUCTF 2024 (https://2024.uiuc.tf/)☆17Jul 14, 2024Updated last year
- ☆16Apr 11, 2025Updated last year
- Representing DES in Z3☆16Jul 14, 2023Updated 2 years ago
- A RESTful API + websockets framework for managing containers over a set of Docker Nodes.☆10Mar 15, 2016Updated 10 years ago
- A Ghidra static analysis tool for locating PACMAN Gadgets☆13Sep 1, 2022Updated 3 years ago
- A C++ starter kit for the great Vindinium AI challenge☆11Jul 16, 2015Updated 10 years ago