ssrg-vt / rumprun-smpView external linksLinks
Rumprun (SMP version)
☆11Jan 4, 2021Updated 5 years ago
Alternatives and similar repositories for rumprun-smp
Users that are interested in rumprun-smp are comparing it to the libraries listed below
Sorting:
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- Python wrapper for Rust Iced GUI☆29Dec 10, 2025Updated 2 months ago
- Automotive S32 U-Boot☆11Nov 27, 2025Updated 2 months ago
- A toy project to demonstrate how to interact with Muse Headband in Python.☆15Feb 8, 2020Updated 6 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Feb 3, 2026Updated 2 weeks ago
- ☆13Apr 2, 2019Updated 6 years ago
- Tool used to extract image files from payload.bin (OTA Firmware) files☆11Nov 2, 2022Updated 3 years ago
- DeDOS: Declarative Dispersion-Oriented Software☆11Oct 4, 2018Updated 7 years ago
- Filesystem abstraction layer☆10Apr 3, 2023Updated 2 years ago
- ☆13May 14, 2019Updated 6 years ago
- A client for OpenAI's GPT models in Common Lisp☆11Mar 21, 2023Updated 2 years ago
- Emacs icon for macOS Sonoma☆12Sep 26, 2023Updated 2 years ago
- ☆11Apr 4, 2023Updated 2 years ago
- Infiniband RDMA Examples using libibverbs and librdmacm for learning purposes☆12Sep 24, 2021Updated 4 years ago
- Demonstrating the BadAss issue.☆17May 19, 2025Updated 8 months ago
- A neat little kernel☆11Jul 15, 2019Updated 6 years ago
- A fixed-size, zero-allocation circular buffer for Rust☆16Mar 29, 2025Updated 10 months ago
- Such OS; Very Duck!☆15Feb 19, 2021Updated 4 years ago
- MESA GL/3Dfx Glide pass-through for QEMU☆13Sep 30, 2024Updated last year
- A manager for old PC emulation☆13Jun 19, 2023Updated 2 years ago
- A Lita extension to extract CLI-style arguments from messages.☆13Oct 9, 2015Updated 10 years ago
- The source code of our WACV2020 paper "Self-Contained Stylization via Steganographyfor Reverse and Serial Style Transfer".☆11Jun 8, 2023Updated 2 years ago
- Binary wrapper that disables vDSO for a wrapped application.☆15Nov 11, 2025Updated 3 months ago
- planner where R stays for reactive. It is a library to implement the reactive planning in Go.☆16Jan 24, 2024Updated 2 years ago
- Protect BSD Unix computer servers from brute-force attacks. It works on top of the OpenBSD Packet Filter(PF) firewall.☆12Jun 21, 2025Updated 7 months ago
- Toolkit for building asynchronous PostgreSQL drivers☆10Nov 10, 2015Updated 10 years ago
- Android app interacting with Dotti bluetooth device☆11Dec 25, 2016Updated 9 years ago
- MapReduce for multi-core☆50Sep 16, 2013Updated 12 years ago
- DBus daemon for controlling aliendalvik and sending commands☆10Sep 28, 2020Updated 5 years ago
- A tool to store four extra expansion cards for the framework laptop. Designed to work and look the same as the laptop.☆12Nov 8, 2021Updated 4 years ago
- Official codes for 'Preserving Full Degradation Details for Blind Image Super-Resolution'☆12Jul 2, 2024Updated last year
- JSON RPC TCP Client☆11Sep 12, 2022Updated 3 years ago
- ❯ The interactive and intuitive replacement for ls & cd!☆19Feb 2, 2026Updated 2 weeks ago
- Mallacc: Accelerating Memory Allocation☆13Jan 2, 2018Updated 8 years ago
- Org mode exporter for Coleslaw☆10Aug 31, 2015Updated 10 years ago
- PostgreSQL Schema is a database migration tool.☆13Apr 5, 2018Updated 7 years ago
- This is pytorch implementation of paper Stable Video Style Transfer Based on Partial Convolution with Depth-Aware Supervision.☆13Aug 5, 2020Updated 5 years ago
- Writing a x86 operating system from scratch☆11Apr 7, 2022Updated 3 years ago
- ☆12Dec 18, 2016Updated 9 years ago