Pintos is a simple operating system framework for the 80x86 architecture
☆23Dec 23, 2016Updated 9 years ago
Alternatives and similar repositories for Pintos
Users that are interested in Pintos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solved exercises of some chapters of the book "Introduction to 64 bit Assembly Programming for Linux and OS X", Ray Seyfarth☆11Feb 16, 2017Updated 9 years ago
- Hugin. The type-1 hypervisor on aarch64.☆13Oct 13, 2025Updated last year
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- Library containing the definition of S-expressions and some base converters☆21Jul 10, 2026Updated 3 months ago
- The main codex repository☆27Feb 3, 2026Updated 9 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.
- ☆17Sep 15, 2021Updated 5 years ago
- Common Hackable Adaptable Operating System☆14Sep 25, 2020Updated 6 years ago
- A tool to convert Verilog RTL file generated from Xilinx Vivado HLS to an equivalent C Code.☆12Jun 16, 2021Updated 5 years ago
- Automatically exported from code.google.com/p/patus☆17Sep 3, 2015Updated 11 years ago
- Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu☆10Apr 9, 2019Updated 7 years ago
- ☆16Oct 23, 2026Updated last week
- Step-by-step guide on compiling C++ codes with Emscripten into wasm and using it with Webpack + Typescript + React setup☆34May 17, 2022Updated 4 years ago
- AmorphOS open source FPGA operating system project☆10Apr 16, 2020Updated 6 years ago
- A C++ discrete event simulation framework☆15Mar 24, 2023Updated 3 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.
- This project is for team #8 qiskit-camp asia 2019☆10Nov 21, 2019Updated 6 years ago
- Project developed for Computer Architecture course☆11May 2, 2022Updated 4 years ago
- kvmm is a type2 hypervisor that uses the Linux Kernel Virtual Machine(KVM).☆13Feb 5, 2021Updated 5 years ago
- ☆12Aug 29, 2020Updated 6 years ago
- 長野高専の3J「アルゴリズムとデータ構造」後期の多倍長演算プログラム☆21Mar 1, 2018Updated 8 years ago
- ☆20Sep 22, 2015Updated 11 years ago
- ☆11Jan 10, 2023Updated 3 years ago
- Dockerfile for AMD/Xilinx Vivado☆16Mar 22, 2026Updated 7 months ago
- A standalone chula-sso-mock based on chula-sso☆10Feb 13, 2024Updated 2 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.
- Instruction-less computation☆19Dec 7, 2023Updated 2 years ago
- Small and simple actor model implementation.☆10Mar 7, 2026Updated 7 months ago
- Meta repository for the USENIX ATC'25 Publication "Accelerating Nested Virtualization with HyperTurtle"☆17Mar 22, 2026Updated 7 months ago
- A teaching operating system on raspberry pi 3/4 ported from xv6☆18Feb 25, 2022Updated 4 years ago
- A toy hypervisor.☆25Feb 17, 2023Updated 3 years ago
- This repo has been put together to demonstrate a number of simple MIPS Processors written in Chisel.☆18Jul 9, 2021Updated 5 years ago
- Getting Started with the Core Slicing Prototype☆14Jun 25, 2026Updated 4 months ago
- ☆10Dec 15, 2023Updated 2 years ago
- ☆19Updated this week
- 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.
- A Sample Operating System Kernel for Embedded Systems☆14Jan 1, 2021Updated 5 years ago
- Zero to Hero Clean Architecture Showcase☆15Mar 8, 2023Updated 3 years ago
- ☆16May 23, 2023Updated 3 years ago
- Ingame Tablet für die VCAD Systeme - Für FiveM, FiveM-ESX, QBCore und AltV☆10Sep 15, 2024Updated 2 years ago
- A terminal based digital waveform viewer for Hardcaml☆17Jul 10, 2026Updated 3 months ago
- ☆18Oct 27, 2023Updated 3 years ago
- ☆12Apr 15, 2024Updated 2 years ago