CS 346 RedBase Project (Stanford)
☆38Jun 5, 2015Updated 11 years ago
Alternatives and similar repositories for cs346-redbase
Users that are interested in cs346-redbase are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A C compiler with SSA-based backend optimzation☆15Mar 19, 2016Updated 10 years ago
- Vibe coding in emacs with amp☆20Jun 15, 2025Updated last year
- 《日常》☆18Sep 18, 2021Updated 4 years ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 4 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.
- bluss/IndexMap with amortized resizes☆14Dec 21, 2020Updated 5 years ago
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- An exploration of tree and force-directed graph drawing algorithms.☆13Jun 27, 2018Updated 8 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Mar 15, 2019Updated 7 years ago
- ☆26May 22, 2022Updated 4 years ago
- A simple relational database based on Stanford CS346 RedBase, implemented in elegant modern C++14.☆56May 15, 2022Updated 4 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- A Usermode Hookable Filesystem Library☆45Apr 23, 2019Updated 7 years ago
- ☆10Dec 17, 2021Updated 4 years ago
- 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.
- This is the programmin project of DBMS course in 2019☆19May 8, 2019Updated 7 years ago
- 🌎 Chord in golang☆12Jul 17, 2019Updated 6 years ago
- xv7- (xv6+Demand Paging+Swapping)☆11Jul 19, 2020Updated 5 years ago
- This is a Rust implementation for popular caches (support no_std).☆113Feb 3, 2025Updated last year
- Visualization for hidden Markov model computations☆14Dec 19, 2014Updated 11 years ago
- A PostgreSQL inspired SQL database written in Rust.☆27Oct 25, 2021Updated 4 years ago
- Paxos algorithm demo,from mit 6.824 lab 3☆26Aug 10, 2016Updated 9 years ago
- Distributed Lisp interpreter in Erlang.☆11Dec 14, 2016Updated 9 years ago
- Personal course notes (in Chinese) for THU CST.☆13Jun 23, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A multiplayer Snake Game with delicate graphic, fully armed game sound, local ranking system, and a cute AI snake☆12Apr 9, 2026Updated 2 months ago
- Web version of the MiniDecaf compiler.☆13Sep 17, 2020Updated 5 years ago
- Here is my solutions for 6.828's assignments☆17Mar 18, 2016Updated 10 years ago
- A low-level I/O ownership and borrowing library☆109Aug 6, 2025Updated 10 months ago
- A LaTeX template for academic posters with Tsinghua University logo☆15Nov 18, 2022Updated 3 years ago
- Toy Compiler for Compiler 2016 Course☆91May 18, 2016Updated 10 years ago
- 一个简易的正则表达式引擎!☆10Apr 9, 2017Updated 9 years ago
- Basic Golang implementation of a Triple Store. Built to learn the Golang language before an internship.☆19Mar 13, 2019Updated 7 years ago
- A RPC Server implement base on Raft Paper in Golang☆10Jun 17, 2016Updated 10 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.
- Userspace file-system using the TokuFT fractal tree library☆23Jul 16, 2021Updated 4 years ago
- raytracer project for PPCA 2020☆63Nov 20, 2021Updated 4 years ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- hutrace☆25Jun 6, 2022Updated 4 years ago
- ☆11Apr 30, 2013Updated 13 years ago
- This is the course taught by Prof.John Shen and Prof. Onur Mutlu from CMU☆11May 13, 2016Updated 10 years ago
- Replication package for ICSE 2022 submission titled "Automatic Merge Conflict Resolution Tools: The Current State and Barriers to Adoptio…☆12Sep 14, 2021Updated 4 years ago