Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete implementations.
☆21Oct 27, 2020Updated 5 years ago
Alternatives and similar repositories for ods
Users that are interested in ods are comparing it to the libraries listed below
Sorting:
- Sample Ansible RPC playbook☆11Oct 30, 2021Updated 4 years ago
- Context Logger for Golang☆23Oct 31, 2025Updated 4 months ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- 🌀 A minimal C library offering generic, contiguous dynamic arrays with O(1) amortized push.☆19Sep 22, 2025Updated 5 months ago
- Miscellaneous Racket utilities lacking a better home☆14Feb 22, 2026Updated last week
- Emulate the AWS IoT Button on a Raspberry Pi with a simple push button using this C++ sample☆10Sep 16, 2016Updated 9 years ago
- Semantic analysis engine for detecting vulnerability fixes in Windows kernel driver patches — 58 YAML rules, Ghidra decompilation, reacha…☆49Updated this week
- Enterprise K3s maintenance automation - Zero-downtime OS patching with intelligent health checks, Longhorn integration, and role-based An…☆24Feb 16, 2026Updated 2 weeks ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Some quines in the Go programming language☆15Mar 8, 2023Updated 2 years ago
- ☆14Updated this week
- ☆18Nov 5, 2025Updated 3 months ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- An easy emoji plugin for vim written in vim9script☆10Feb 15, 2026Updated 2 weeks ago
- An example of using Octave on mybinder.org☆15Apr 25, 2025Updated 10 months ago
- Integration of opentelemetry with the tracing crate☆24Feb 1, 2026Updated last month
- ☆29Dec 15, 2025Updated 2 months ago
- USP Game Development Kit or USPGameDev Kit =D☆18Jun 15, 2018Updated 7 years ago
- ☆12Oct 7, 2019Updated 6 years ago
- show flycheck errors in the frame title☆10Mar 21, 2021Updated 4 years ago
- A gentle introduction to Isabelle and Isabelle/HOL☆17Mar 27, 2025Updated 11 months ago
- Align version numbers for all OpenRewrite maintained recipe modules☆15Updated this week
- Official codebase for our NeurIPS paper, Symmetry-Informed Governing Equation Discovery.☆11Nov 13, 2024Updated last year
- Spy Cli☆16Jan 25, 2022Updated 4 years ago
- Labs for the OReilly Training "Process Automation in Modern Architectures"☆12Jul 15, 2021Updated 4 years ago
- Stochastic trace estimation using JAX☆17Aug 20, 2025Updated 6 months ago
- Links to recourses for the Lean Theorem Prover☆12Dec 3, 2019Updated 6 years ago
- Mustache templates for Haskell. megaparsec -> parsec; stache -> microstache☆17Jan 15, 2025Updated last year
- ☆12Nov 21, 2016Updated 9 years ago
- MCP server to control Philips Hue lights, including sending Morse code through them☆21Mar 20, 2025Updated 11 months ago
- Automatic identification of regions in the latent space of a model that correspond to unique concepts, namely to concepts with a semantic…☆14Nov 22, 2023Updated 2 years ago
- A P model of durable Promises☆14Oct 6, 2023Updated 2 years ago
- XTDB querying CLI☆15Jul 17, 2024Updated last year
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 3 years ago
- L1TTLE PAWS - Arcade physics platformer with procedural art and levels for JS13K!☆23Jan 18, 2026Updated last month
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- ☆30Jun 6, 2025Updated 8 months ago
- Go monorepo for a framework to build Linux block devices in userspace☆31Oct 18, 2025Updated 4 months ago