Kitten Lightweight Kernel
☆57May 19, 2023Updated 3 years ago
Alternatives and similar repositories for kitten
Users that are interested in kitten are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Exascale papers and presentations☆20Apr 16, 2019Updated 7 years ago
- ☆12Apr 2, 2019Updated 7 years ago
- The Amsterdam Compiler Kit☆27Mar 30, 2025Updated last year
- RFCs for changes to Rust☆13Sep 24, 2026Updated last month
- A library for dynamic binary rewriting☆60Feb 10, 2021Updated 5 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.
- L3 based MIPS specification and emulator☆15Jul 29, 2021Updated 5 years ago
- Golang-like functionality to defer function calls in C.☆16Feb 19, 2015Updated 11 years ago
- cdos-68k: Concurrent DOS 68K Developer Kit☆18Dec 3, 2023Updated 2 years ago
- Simple VAX Kernel☆13Sep 9, 2013Updated 13 years ago
- Nautilus Aerokernel☆52May 11, 2022Updated 4 years ago
- Port of gnuboy, a Gameboy Color emulator, for CASIO EX-Word electronic dictionaries.☆23Nov 13, 2018Updated 7 years ago
- ixgbe driver for Redox based on ixy.rs☆11Jul 30, 2019Updated 7 years ago
- Lock free shared-memory library☆12Jan 3, 2017Updated 9 years ago
- Exporters for OllyDbg and ImmunityDbg for use with zynamics BinNavi <= 3.0☆18Jan 10, 2012Updated 14 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A toy operating system built with Rust☆16Nov 22, 2017Updated 8 years ago
- [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)☆44Jul 12, 2017Updated 9 years ago
- given a q table, create a view with calculated columns☆13Dec 15, 2017Updated 8 years ago
- A small test app that tries to load a USBDriverKit system extension☆14Jun 7, 2020Updated 6 years ago
- libSplash - Simple Parallel file output Library for Accumulating Simulation data using Hdf5☆16Apr 8, 2021Updated 5 years ago
- Docker environment that contains a Database, Monitor, Observatory and Analyzer☆14Sep 29, 2021Updated 5 years ago
- q mode for emacs☆12Sep 27, 2020Updated 6 years ago
- Simulator for MIL-STD-1750A processors☆13Dec 5, 2016Updated 9 years ago
- pure-data external providing simple bonjour service name discovery and port resolution☆10Oct 15, 2014Updated 12 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Semi-automated vocabulary generation from semantic vector models☆10Dec 15, 2021Updated 4 years ago
- RISC-V 32-bit Linux From Scratch☆38May 10, 2020Updated 6 years ago
- emulating the 68katy by BMoW using Musashi☆14Jun 11, 2023Updated 3 years ago
- Verilog implementation of MC68851 Memory Management Unit☆15Feb 26, 2018Updated 8 years ago
- F# implementation of BulletML☆13Sep 1, 2026Updated 2 months ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)