Collection of my solutions to the (infamous) dbclass (2014 version) offered by Stanford.
☆38Nov 11, 2020Updated 5 years ago
Alternatives and similar repositories for stanford_dbclass
Users that are interested in stanford_dbclass are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CS interview questions asked by tech companies☆14Nov 28, 2015Updated 10 years ago
- ☆15Apr 26, 2021Updated 4 years ago
- Stories from the top engineering blogs in one place.☆17Jul 5, 2022Updated 3 years ago
- An implementation of memcpy for amd64 with clang/gcc☆14Feb 7, 2022Updated 4 years ago
- ☆20Feb 16, 2018Updated 8 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.
- Course material and references for Campus To Corporate course, 2017.☆38Oct 24, 2021Updated 4 years ago
- Various code examples for my talks☆10Sep 15, 2023Updated 2 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- ☆18Jul 2, 2017Updated 8 years ago
- Course material and references for Campus To Corporate course, 2018.☆41Jul 10, 2018Updated 7 years ago
- Next-GEN Confguration Template Generation Language☆12Jul 21, 2022Updated 3 years ago
- A LR(1) parser generator targeting C++17.☆13Jul 8, 2020Updated 5 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- 在 Telegram 上快速模仿迟先生卖弱。☆16Updated this week
- 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.
- ☆12Oct 2, 2021Updated 4 years ago
- A variant of Ahash written in C++.☆10Mar 20, 2023Updated 3 years ago
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆71Apr 8, 2026Updated last week
- A Lua implementation built on GraalVM (In development)☆11Jun 26, 2024Updated last year
- 🌊 A React UI library☆13Feb 2, 2022Updated 4 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- Simple GUI for managing sched-ext schedulers via scx_loader☆28Mar 30, 2026Updated 2 weeks ago
- This is an AI Assistant Bot for Glip, using API.AI and RingCentral API☆11Jan 23, 2023Updated 3 years ago
- Mechatronics Engine & Library☆13Oct 15, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- QuickFix actions for Haskell in VSCode☆14Mar 28, 2025Updated last year
- SBoost is a SIMD-based C++ library enabling fast filtering and decoding of lightweight encoded data☆11Jul 6, 2021Updated 4 years ago
- Luogu plugin on IntelliJ Platform☆10Jan 6, 2020Updated 6 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- Experimental async runtime for ntex☆18Dec 16, 2025Updated 3 months ago
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated last year
- 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.
- P5Nitro turns your processing sketches into C++ code that runs at native speed☆27Aug 18, 2011Updated 14 years ago
- Various information about F-Zero GX, especially information gathered with tools like RAM watch.☆16Jan 4, 2021Updated 5 years ago
- ☆22May 2, 2021Updated 4 years ago
- Demonstration on how to use async python to control multiple playwright browsers for web-scraping☆13Dec 11, 2021Updated 4 years ago
- Trio-compatible version of click. The issue tracker is at python-trio/trio-click☆19Oct 8, 2025Updated 6 months ago
- ☆13Jun 2, 2025Updated 10 months ago
- ☆16Jan 5, 2022Updated 4 years ago