A basic microkernel
☆38Apr 21, 2013Updated 13 years ago
Alternatives and similar repositories for singpolyma-kernel
Users that are interested in singpolyma-kernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fork of Joe's Own Editor with complete history☆17Jul 27, 2013Updated 12 years ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- A Lita extension to extract CLI-style arguments from messages.☆13Oct 9, 2015Updated 10 years ago
- PostgreSQL Schema is a database migration tool.☆13Apr 5, 2018Updated 8 years ago
- A neat little kernel☆11Jul 15, 2019Updated 6 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.
- Some codes to trace KVM events using BPF☆22Mar 6, 2020Updated 6 years ago
- Official repository for the REX virtual machine☆12Mar 9, 2016Updated 10 years ago
- The bvim is an advanced fork of bvi, a display-oriented editor for binary files, based on the vi texteditor. This version include support…☆31Jul 19, 2012Updated 13 years ago
- A plugin for Binary Ninja to query the Symgrate2 database.☆14Sep 11, 2021Updated 4 years ago
- IDA Pro plugin to recovery static Thumb2 symbols.☆14Sep 14, 2021Updated 4 years ago
- A minimal UNIX kernel project for x86 PCs☆39Apr 10, 2019Updated 7 years ago
- ☆12Sep 3, 2017Updated 8 years ago
- A collection of small programs using toxcore.☆17May 17, 2026Updated last month
- Spectral CPU path tracer☆15Jan 7, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆72Aug 3, 2012Updated 13 years ago
- Creative Racket competition☆14Nov 7, 2022Updated 3 years ago
- Implementation of All ▲lgorithms in Erlang Programming Language☆13Oct 2, 2020Updated 5 years ago
- Embed Ruby in your Haskell program.☆23Apr 4, 2024Updated 2 years ago
- SD card bootloader for Ultimaker2☆13Mar 29, 2015Updated 11 years ago
- Jenkins WebInspect Plugin Publisher provides the ability to upload a WebInspect scan file, from your Jenkins server to your Fortify Softw…☆11Dec 23, 2025Updated 6 months ago
- An emulator for the ARMv4t instruction set written in Rust☆38Jul 25, 2025Updated 11 months ago
- Library to create virtual network connections via tox☆12Jun 6, 2016Updated 10 years ago
- Codezero Microkernel☆112Jan 30, 2026Updated 5 months 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.
- foreign data wrapper to use Amazon DynamoDB in your postgresql☆17Apr 24, 2013Updated 13 years ago
- Catacomb 3-D (1991) by id Software, Inc.☆13Jun 5, 2014Updated 12 years ago
- PostgreSQL procedural language handler for Scheme programming language.☆12Nov 5, 2024Updated last year
- Clojure-inspired Lisp that compiles to Ruby☆15Jan 11, 2016Updated 10 years ago
- FastDosbox from http://gaming.capsule-sa.co.za☆11Feb 18, 2014Updated 12 years ago
- Latest binary build is available from https://github.com/open-watcom/travis-ci-ow-builds/archive/master.zip and installers are available …☆14Nov 17, 2018Updated 7 years ago
- An experimental text/audio/video group chat application, using Qt, Tox, GStreamer, and (soon) GHCJS.☆18Apr 18, 2017Updated 9 years ago
- Sounds that Tox client developers may use freely in their software☆13Jan 30, 2016Updated 10 years ago
- ☆18Apr 1, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Small LD_PRELOAD library to show allocation stats☆14Feb 12, 2026Updated 4 months ago
- QuickJS C++ wrapper☆17Jul 14, 2019Updated 6 years ago
- IDA Database Parser for Rust☆26Sep 13, 2024Updated last year
- An Implementation of the Arduino/Sparkfun SD Card Library for the Spark Core☆16Jun 15, 2015Updated 11 years ago
- ☆13Mar 8, 2016Updated 10 years ago
- Standalone SSH and CLI tools cryptex for the Apple SRD☆22Feb 29, 2024Updated 2 years ago
- Simulator for Analogue's CHIP32 VM on Analogue Pocket☆14May 12, 2026Updated last month