xv6 riscv completing all the MIT optional challenges
☆19Mar 5, 2024Updated 2 years ago
Alternatives and similar repositories for 6.1810-2023
Users that are interested in 6.1810-2023 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- High-performance computer algebra system built for humans and AI☆17Updated this week
- Open-source visual macro tool with image recognition for desktop automation☆18Sep 30, 2026Updated 3 weeks ago
- ☆14Mar 26, 2024Updated 2 years ago
- A complete reimplementation of xv6 operating system (RISC-V) in Zig.☆14Oct 23, 2026Updated last week
- An AsciiMath parser and converter for .NET☆17Apr 22, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- SageMath integration for Lean4☆15Oct 9, 2026Updated 2 weeks ago
- GPU-accelerated native charting library inspired by Lightweight Charts, built on Vello + wgpu☆19Jul 12, 2026Updated 3 months ago
- A constant/linear throughput load generator in Zig ⚡☆23Oct 10, 2026Updated 2 weeks ago
- c++ 实现stanford cs149 assignment1☆14Feb 19, 2023Updated 3 years ago
- 🔥🔥🔥 We release an implementation of many attention mechanism models! Plug-and-play, performance booster!☆20Aug 14, 2024Updated 2 years ago
- This project has implemented the RAG function on Jetson and supports TXT and PDF document formats. It uses MLC for 4-bit quantization of …☆11May 16, 2024Updated 2 years ago
- A three-column graphical LaTeX2e resume☆12Dec 12, 2019Updated 6 years ago
- GPU-accelerated plain DuckDB SQL — Apple Silicon Metal + NVIDIA CUDA. The first SQL execution engine for Apple Silicon GPUs.☆31Updated this week
- 南京大学nemu，基于riscv32架构，目前进度PA3☆19Jan 30, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An Unreal.hx port of Unreal's `PlatformerGame` demo☆25Feb 27, 2017Updated 9 years ago
- Baz — Bounded Async Zap. A modern Zig 0.16.0 web framework on bounded/http.☆42Oct 4, 2026Updated 3 weeks ago
- Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.☆11Aug 15, 2017Updated 9 years ago
- 国科大(UCAS)李保滨老师2020矩阵分析课程资源(课件，作业，和编程大作业)☆27Jun 5, 2024Updated 2 years ago
- Contains all relevant scripts & tools developed to assist in conducting the first iteration of the Indian Inter-college Competitive Progr…☆10Sep 14, 2024Updated 2 years ago
- A universal Turing machine (UTM) implementation in Python.☆23Oct 22, 2018Updated 8 years ago
- Network- and GPU-aware management of serverless functions at the edge☆15Mar 3, 2023Updated 3 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆26Mar 9, 2026Updated 7 months ago
- My Public APIs Collections to be used in public projects.☆10Jul 31, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Multi-GPU acceleration for Fully Homomorphic Encryption☆25Jun 3, 2024Updated 2 years ago
- A Visual Studio Code extension with support for the Uv package manager.☆25Oct 4, 2026Updated 3 weeks ago
- ☆14Sep 8, 2017Updated 9 years ago
- Automatically import your Lichess chess games into a Scid database.☆14Jan 29, 2016Updated 10 years ago
- LibreOffice CLI in Rust☆38Sep 9, 2026Updated last month
- One-Stop Destination for codes of all Data Structures & Algorithms☆18Jun 5, 2023Updated 3 years ago
- official implementation of paper SDP4Bit: Toward 4-bit Communication Quantization in Sharded Data Parallelism for LLM Training☆44Dec 11, 2024Updated last year
- Main Page☆16Feb 23, 2024Updated 2 years ago
- Life32 - Conway's game of life player☆20Jul 9, 2016Updated 10 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.
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Apr 22, 2016Updated 10 years ago
- Feature-rich Save System for the Godot Game Engine supporting code-less saving via reusable components.☆13Nov 16, 2025Updated 11 months ago
- All Labs implementation of 6.828 2018 OS course of MIT.☆18May 5, 2023Updated 3 years ago
- Code for "Lessons Learned from Building a Query Optimizer" blog series☆52Sep 1, 2026Updated last month
- ☆29Apr 29, 2023Updated 3 years ago
- Final Project Instructions for Stanford CS248☆14Mar 3, 2026Updated 7 months ago
- Generate true Random Numbers using the Hadamard Quantum Gate☆13Aug 13, 2021Updated 5 years ago