Kitten Lightweight Kernel
☆56May 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:
- ☆16Feb 7, 2025Updated last year
- OLD REPOSITORY, go to repo.rumpkernel.org/rumprun☆43Apr 13, 2015Updated 11 years ago
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆31Feb 10, 2026Updated 8 months ago
- The Amsterdam Compiler Kit☆26Mar 30, 2025Updated last year
- RFCs for changes to Rust☆13Sep 24, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Port of gnuboy, a Gameboy Color emulator, for CASIO EX-Word electronic dictionaries.☆23Nov 13, 2018Updated 7 years ago
- Golang-like functionality to defer function calls in C.☆16Feb 19, 2015Updated 11 years ago
- Arc Lisp to C compiler☆33Aug 13, 2008Updated 18 years ago
- RISC-V 32-bit Linux From Scratch☆38May 10, 2020Updated 6 years ago
- Getting started running RISC-V Linux☆18Apr 15, 2021Updated 5 years ago
- ☆18Apr 12, 2025Updated last year
- The Triton - Dynamic Binary Analysis (DBA) framework - by JonathanSalwan binding for Delphi☆11Oct 25, 2023Updated 2 years ago
- TUI for browsing, canceling, and inspecting SLURM jobs☆13Nov 13, 2023Updated 2 years ago
- Formal verification of SecVisor, a secure hypervisor☆14Apr 23, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a tool to juggle around with (U)EFI GUIDs☆18Jun 9, 2014Updated 12 years ago
- MPI accelerator-integrated communication extensions☆39Apr 4, 2023Updated 3 years ago
- ☆15Sep 20, 2026Updated 3 weeks ago
- VTK用户使用指南中文文档翻译，第11版☆11Mar 23, 2019Updated 7 years ago
- Exporters for OllyDbg and ImmunityDbg for use with zynamics BinNavi <= 3.0☆18Jan 10, 2012Updated 14 years ago
- An Integrated Hydrologic Modeling System☆13Feb 7, 2016Updated 10 years ago
- This repo is forked from ufs-weather-model, and contains the model code and external links needed to build the UFS coastal model executab…☆13Aug 31, 2026Updated last month
- This script generates and analyzes prefix tree adders.☆38Apr 9, 2021Updated 5 years ago
- Mrsh is a set of remote shell programs that use munge authentication rather than reserved ports for security. The code for mrsh is based…☆23Aug 29, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A contiguous region of bytes, useful for I/O operations.☆33Jul 15, 2020Updated 6 years ago
- iPod nano 6 (S5L8723) implementation of S5Late bootrom exploit. Now also iPod shuffle 4 (S5L8443) & iPod nano 7 (S5L8740)☆29Sep 28, 2025Updated last year
- A collection of general purpose C++ utilities that play well with the Standard Library and Boost.☆17Jan 14, 2026Updated 8 months ago
- Pavilion is a Python 3 (3.6+) based framework for running and analyzing tests targeting HPC systems.☆46Updated this week
- Corpus of crypto formats☆13Dec 2, 2022Updated 3 years ago
- An executable specification of the RISCV ISA in L3.☆44Mar 1, 2019Updated 7 years ago
- Basic OpenGL ShapeFile viewer☆10Jun 26, 2015Updated 11 years ago
- Be API implementation for Linux kernel and Android binder☆12Sep 19, 2023Updated 3 years ago
- Scripts for detecting Duqu drivers and other elements☆20Nov 10, 2011Updated 14 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.
- OSF Mach and MkLinux conservation project☆32Nov 3, 2012Updated 13 years ago
- Cray PVP Simulator☆162Apr 9, 2025Updated last year
- 9444 RISC-V 64IMA CPU and related tools and peripherals.☆28May 20, 2021Updated 5 years ago
- [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)☆44Jul 12, 2017Updated 9 years ago
- Overview and detailed dicussion about parallel volume rendering on a cluster. We describe algorithms, optimalization techniques and chall…☆18Jul 29, 2015Updated 11 years ago
- Python package based on PyTorch and Dask for efficient and parallelized data assimilation of weather model data and observations on GPUs.☆16Nov 18, 2025Updated 10 months ago
- Using FORTRAN to call CUBLAS library's function.☆18Aug 29, 2017Updated 9 years ago