Student lab assignments for MIT 6.1600
☆14Oct 13, 2026Updated 3 weeks ago
Alternatives and similar repositories for 6.1600-labs
Users that are interested in 6.1600-labs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Programming labs for 6.S060 (Foundations of Computer Security).☆15Nov 19, 2021Updated 4 years ago
- ☆10May 23, 2023Updated 3 years ago
- Lab assignments for 6.826☆18Oct 20, 2020Updated 6 years ago
- 🔎 Fast, local search across the CS research literature, with an expressive query language, an interactive TUI, and scriptable output.☆28Sep 18, 2026Updated last month
- HOPE-MLKEM: A Framework for designing High-Order Side-Channel Protected Hardware Implementations of ML-KEM☆18Apr 28, 2026Updated 6 months 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.
- CS168 Project 1: Routing☆13Feb 17, 2020Updated 6 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- Notes galore☆12Sep 17, 2024Updated 2 years ago
- Ranked Choice Instant Runoff library written in Rust☆13Mar 26, 2019Updated 7 years ago
- A crate to write CMSIS-DAP flash algorithms for flashing embedded targets☆10Jan 3, 2026Updated 10 months ago
- High-Speed Hardware Architecture for Falcon Signature Generation Algorithm☆15Feb 27, 2025Updated last year
- Code examples and paper for the Spoiler-Attack☆18May 28, 2019Updated 7 years ago
- Proving crash safety for systems with layered recovery☆16Apr 1, 2026Updated 7 months ago
- Automatic performance regression tests for Rust code☆16Jan 27, 2020Updated 6 years 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.
- ☆13Nov 29, 2023Updated 2 years ago
- ☆12Jun 24, 2023Updated 3 years ago
- Generic, unified, architecture-independent, and OS-free page table structures for various hardware architectures.☆13Oct 19, 2026Updated 2 weeks ago
- ☆12Nov 27, 2012Updated 13 years ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 4 years ago
- A procedure macro to unify sync and async implementations depending on the features of your crate☆14Jan 18, 2026Updated 9 months ago
- System Programming projects on Multiprocessing, Multithreading, FIFO Pipes, Network Sockets, Bash Scripting & building Data Structures☆11Sep 11, 2022Updated 4 years ago
- Repository filled with my interview solutions☆12Aug 6, 2026Updated 2 months ago
- ☆16Nov 9, 2017Updated 8 years ago
- 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.
- ☆18Apr 20, 2023Updated 3 years ago
- Template for ch32-hal projects☆11Oct 12, 2026Updated 3 weeks ago
- A formally verified symbolic cryptography library for Lean☆19Feb 18, 2026Updated 8 months ago
- Exercises for the course Cyber Security III: Software and Hardware Security IC00AJ74☆23Sep 24, 2026Updated last month
- Course site for CMPS128, Spring 2016☆12May 28, 2016Updated 10 years ago
- This repository contains lab assignments done in the course CS220: Computer Organization at IIT Kanpur☆10Aug 8, 2019Updated 7 years ago
- Incremental View Maintenance support for DuckDB☆18Oct 24, 2023Updated 3 years ago
- A simple crate to use a 28BYJ-48 stepper motor with and ULN2003 Driver on any hardware implementing embedded-hal☆14Jan 6, 2025Updated last year
- Notes for EE364a - Convex Optimization I @ Stanford (will update Ch 6 - Ch 13 later)☆12Jul 30, 2019Updated 7 years 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.
- All Lecture Notes from IIT Kanpur☆12Jun 23, 2020Updated 6 years ago
- ☆14Apr 27, 2022Updated 4 years ago
- A Docker image for running the ACL2 theorem proving system and books in JupyterLab.☆14Oct 18, 2026Updated 2 weeks ago
- ☆13Nov 17, 2025Updated 11 months ago
- Code as seen in: https://www.youtube.com/watch?v=f6kdp27TYZs☆12Oct 5, 2015Updated 11 years ago
- Process documentation and rationale for implementing the flipped interview model☆13Jul 15, 2018Updated 8 years ago
- ☆10Jun 11, 2019Updated 7 years ago