Lecture notes on algorithms and data structures. Begun as written notes for A&DS from Pavel Marvin.
☆13May 26, 2026Updated 5 months ago
Alternatives and similar repositories for A-DS
Users that are interested in A-DS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- my dotfiles☆11Sep 30, 2026Updated 3 weeks ago
- Implementing CIS 194 (2013) Haskell course in C++☆24Nov 6, 2025Updated 11 months ago
- ☆30Updated this week
- reading list on software performance☆15Oct 3, 2026Updated 3 weeks ago
- A Formula1 API build in Rust.☆13Mar 2, 2026Updated 7 months 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.
- Additional teaching materials not hosted in jachermocilla.org such as sample source code and handouts☆50Oct 12, 2026Updated 2 weeks ago
- ☆26Mar 9, 2022Updated 4 years ago
- luajit version for xxHash☆10Apr 28, 2019Updated 7 years ago
- ☆12Oct 20, 2026Updated last week
- ☆10Jun 29, 2014Updated 12 years ago
- Code for Introducing C++ book☆31Dec 16, 2025Updated 10 months ago
- STM on Free monads☆25May 16, 2018Updated 8 years ago
- Un-opinionated Universal Rendering Javascript Framework☆13Oct 10, 2023Updated 3 years ago
- https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml☆22Jun 18, 2026Updated 4 months ago
- 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.
- ☆21Jul 24, 2026Updated 3 months ago
- GolfScript interpreter in Rust☆11Jul 7, 2024Updated 2 years ago
- Workshop: Deploy your Machine Learning model with Fast API☆17Oct 18, 2024Updated 2 years ago
- Core☆13Aug 31, 2025Updated last year
- Parser for SAUCE or Standard Architecture for Universal Comment Extensions☆12Nov 18, 2025Updated 11 months ago
- A geometrical compiler project written in JavaScript for compiling and making complicated geometries.☆15Aug 28, 2024Updated 2 years ago
- Pi + Herdr: /team worker panes, /loop re-wakes, and MonitorCreate/List/Stop☆14Sep 1, 2026Updated last month
- Idiomatic Rust Bindings for Windows Hypervisor Platform☆13Apr 11, 2026Updated 6 months ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆71Apr 9, 2024Updated 2 years ago
- Tutorial series introducing Agda to the people at BCAM☆28Nov 29, 2021Updated 4 years ago
- ☆21Sep 6, 2025Updated last year
- Research on code injection & reflection in c++☆11Nov 5, 2017Updated 8 years ago
- LuaJIT FFI-bindings to xxHash, an Extremely fast non-cryptographic hash algorithm☆17Dec 3, 2015Updated 10 years ago
- VMDetect is a Python based Windows VM detection and environment forensics tool that reads ACPI/SMBIOS firmware tables and system artifact…☆15Jul 14, 2026Updated 3 months ago
- Some of my submissions for some online competitive programming platforms. Just for a little practice.☆17Oct 14, 2026Updated last week
- A fully native X client for macOS 27, built with SwiftUI and Liquid Glass.☆33Oct 14, 2026Updated 2 weeks ago
- Ephemeral chatrooms for agents. Skip the human relay — your agent talks to theirs, and you watch.☆16Sep 16, 2026Updated last month
- 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.
- Flutter Starbucks Redesign☆19Feb 16, 2022Updated 4 years ago
- Evaluate LLM safety and performance across non-English languages.☆14Sep 25, 2026Updated last month
- check whether a IP is in IP ranges with CIDR format such as 216.249.16.0/20 and 2a01:/32☆16Jul 19, 2017Updated 9 years ago
- Tarski's world: semantics of first-order logic☆11Oct 13, 2026Updated 2 weeks ago
- ☆10Aug 20, 2024Updated 2 years ago
- News from the depths☆15May 10, 2021Updated 5 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year