CS61 lecture material
☆105Dec 1, 2025Updated 4 months ago
Alternatives and similar repositories for cs61-lectures
Users that are interested in cs61-lectures are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CS61 section material☆27Nov 19, 2025Updated 4 months ago
- Tools for optimizing steering vectors in LLMs.☆21Apr 10, 2025Updated last year
- Angular/Express.js app that allows user to find nearby food sites for the summer food program.☆12Jul 22, 2018Updated 7 years ago
- ☆31Apr 18, 2025Updated 11 months ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Compositional Verification of Security Protocols☆32Apr 2, 2026Updated last week
- SIGCOMM 2021 artifact☆12Jul 27, 2024Updated last year
- Lecture notes and other materials for MATH5836 course at UNSW☆10Feb 2, 2026Updated 2 months ago
- ☆55Jan 30, 2026Updated 2 months ago
- Designing a custom LKM based scheduler.☆12May 10, 2019Updated 6 years ago
- ☆11May 31, 2025Updated 10 months ago
- A very little language☆16Jul 1, 2023Updated 2 years ago
- ☆13Sep 15, 2021Updated 4 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A LaTeX package for drawing genetic construct pictograms using TikZ.☆11Jan 26, 2022Updated 4 years ago
- ☆20May 26, 2021Updated 4 years ago
- Compiler for a very restricted subset of OCaml☆25Jan 4, 2016Updated 10 years ago
- ☆10Aug 2, 2016Updated 9 years ago
- Couse Material for CS 6200 Intro to OS at GeorgiaTech☆10Apr 10, 2020Updated 5 years ago
- Limit Orderbook & Matching Engine + market simulation & visualsation.☆14Oct 11, 2025Updated 5 months ago
- TinyVG example files☆14Dec 18, 2021Updated 4 years ago
- ☆16Feb 6, 2021Updated 5 years ago
- ☆13Sep 24, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Tools for working FASTQ files from sequencers (R1/R2/I1/I2)☆12Dec 6, 2024Updated last year
- ☆10Sep 7, 2022Updated 3 years ago
- Leetcode Solutions in Rust, Advent of Code Solutions in Rust and more☆15Jun 18, 2022Updated 3 years ago
- Align subreads to ccs reads☆14Jun 11, 2025Updated 9 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆52Dec 12, 2021Updated 4 years ago
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆14Aug 11, 2025Updated 7 months ago
- ☆16Jan 10, 2022Updated 4 years ago
- FANcY: FAst In-Network GraY Failure Detection for ISPs☆21Aug 19, 2022Updated 3 years ago
- HiCnv is used to call copy number variations and breakpoints from Hi-C data☆23Mar 30, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆40Feb 14, 2026Updated last month
- Format rust code in emacs using rustfmt☆17Feb 17, 2016Updated 10 years ago
- Rust bindings to the wavefront algorithm C implementation☆17Sep 20, 2022Updated 3 years ago
- A mechanisation of Wasm in Rocq☆116Mar 30, 2026Updated last week
- ☆19Oct 16, 2020Updated 5 years ago
- Open Source Detailed Placement engine☆12Feb 19, 2020Updated 6 years ago
- A curated list of resources on Reinforcement Learning with Verifiable Rewards (RLVR) and the reasoning capability boundary of Large Langu…☆87Dec 12, 2025Updated 3 months ago