High level overview of Rust
☆19Oct 13, 2021Updated 4 years ago
Alternatives and similar repositories for lecture1
Users that are interested in lecture1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- cdos-68k: Concurrent DOS 68K Developer Kit☆16Dec 3, 2023Updated 2 years ago
- An experimental xhyve/hyperkit provider for vagrant☆13Mar 20, 2019Updated 7 years ago
- ITIX's Custom CoreOS build☆10Nov 24, 2020Updated 5 years ago
- Preview Houdini VR renders in HMD☆14Jul 18, 2019Updated 6 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.
- 2D Space exploration and combat in pico-8☆10Oct 1, 2023Updated 2 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- ☆11Mar 16, 2022Updated 4 years ago
- An ANTLR4 grammar for ECMAScript 5.1☆16Jul 13, 2017Updated 8 years ago
- Single-source shortest paths accelerated with AWS F1 FPGA☆14May 2, 2018Updated 8 years ago
- This program pulls "vendor proprietary health reports" from several eMMC devices☆13Dec 15, 2025Updated 4 months ago
- Emacs minor mode to display whitespace characters efficiently☆16Jun 26, 2022Updated 3 years ago
- ☆16Jan 23, 2026Updated 3 months ago
- Virtualization course at the UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆27Jan 23, 2025Updated last year
- 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.
- [JJIT2018] Official repository for "Braille to Text Translation for Bengali Language: A Geometric Approach"☆10Nov 6, 2025Updated 6 months ago
- a CI-ready shell language syntax checker☆24May 1, 2026Updated last week
- based off steam linux client 1.0.0.51 - trying to get running on FreeBSD 11-CURRENT☆13Dec 9, 2015Updated 10 years ago
- coredump-detector is a k8s MutatingAdmissionWebhook that add volume to pods to gather coredump files☆15Jun 26, 2018Updated 7 years ago
- ACS L50 course repository☆12Nov 25, 2024Updated last year
- Minor Mode for rust Repl interaction☆19Nov 13, 2023Updated 2 years ago
- ☆27Jun 24, 2022Updated 3 years ago
- Programming labs for 6.S060 (Foundations of Computer Security).☆15Nov 19, 2021Updated 4 years ago
- Lab assignments for the Agile Hardware Design course☆18Nov 14, 2025Updated 5 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.
- Quckly search and attach to wezterm domains with a click of a keybind☆27Feb 1, 2026Updated 3 months ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆20Aug 28, 2024Updated last year
- A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.☆16Jun 29, 2022Updated 3 years ago
- A Complete Package for Processing OMR Answer Sheet☆11Oct 26, 2020Updated 5 years ago
- Code for "Building an Efficient Key-Value Store in a Flexible Address Space" (EuroSys '22)☆24Mar 17, 2025Updated last year
- verilog modules☆15May 4, 2020Updated 6 years ago
- ☆13Jan 18, 2025Updated last year
- A project made for the SCORE student competition at ICSE 2018☆14Oct 31, 2018Updated 7 years ago
- Connect to MCP servers right from your shell. Plugin for simonw/llm.☆36Oct 31, 2025Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- emacs leader-key implementation from spacemacs☆30Jul 11, 2022Updated 3 years ago
- ☆14Sep 25, 2025Updated 7 months ago
- Cloud lab material☆36Jan 30, 2023Updated 3 years ago
- 《深入理解文件系统原理和实践》pdf, ISBN: 978-7-89381-214-9☆27May 6, 2024Updated 2 years ago
- [DL4C @ ICLR 2025] A Benchmark for Automated Environment Setup☆35Nov 9, 2025Updated 6 months ago
- ASDF contrib for SLY☆28Nov 19, 2022Updated 3 years ago
- ☆16Jan 4, 2024Updated 2 years ago