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:
- a copy of _why's greg (re-entrant peg/leg, with some bug fixes)☆15Aug 21, 2009Updated 17 years ago
- PANDA-powered tracing engine for tenet☆11Apr 7, 2022Updated 4 years ago
- An x86 machine-code toolkit☆16Apr 11, 2017Updated 9 years ago
- Syndicate Wars Port is a port of the 1996 DOS game Syndicate Wars to modern operating systems.☆18Sep 21, 2014Updated 12 years ago
- Create Vim colorschemes with Ruby☆13Apr 24, 2012Updated 14 years ago
- 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.
- Library to enable using graphviz in Racket programs☆25Sep 21, 2026Updated last month
- Official repository for the REX virtual machine☆12Mar 9, 2016Updated 10 years ago
- Barebones SRD cryptex example☆12Feb 5, 2023Updated 3 years ago
- A lightweight and powerful abstraction over MultiAutoCompleteTextView and Tokenizer☆10Apr 21, 2021Updated 5 years ago
- eats a gif, spits out fully decoded frames☆10Jul 31, 2015Updated 11 years ago
- oauth command line utilities☆12Jun 1, 2010Updated 16 years ago
- Implementation of sum/option types using QVariant☆30Jan 7, 2023Updated 3 years ago
- An embeddable widget for paying with Ripple.☆10Feb 1, 2014Updated 12 years ago
- 自己动手实现一个玩具操作系统，名曰babyos。以baby为名，取其活泼、可爱之意。简单，却招人喜爱，幼稚，却又生机勃勃。☆31Jan 28, 2018Updated 8 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.
- SQL query interface to C++ collections and C data structures. Also configurable as a loadable Linux kernel module and an extension to Val…☆15Jul 15, 2018Updated 8 years ago
- L4Ka::Hazelnut micro-kernel☆39Sep 1, 2015Updated 11 years ago
- Python based angr plug in for IDA Pro.☆35Feb 25, 2018Updated 8 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- hqx is a fast, high-quality magnification filter designed for pixel art☆21Mar 2, 2025Updated last year
- Smuggle arbitrary values in ()☆12Apr 18, 2023Updated 3 years ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- Small utility that helps to create Bluesky account using did:web☆13Dec 17, 2025Updated 10 months ago
- Haskell 98 Lenses☆14Jan 1, 2018Updated 8 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.
- Examples for lens-aeson☆11Nov 1, 2021Updated 5 years ago
- Github Action to send repository notifications to XMPP☆10Jul 31, 2024Updated 2 years ago
- A plugin for Binary Ninja to query the Symgrate2 database.☆14Sep 11, 2021Updated 5 years ago
- SD card bootloader for Ultimaker2☆13Mar 29, 2015Updated 11 years ago
- A library to parse and generate the graphviz dot langauge.☆10Feb 13, 2019Updated 7 years ago
- IDA Pro plugin to recovery static Thumb2 symbols.☆14Sep 14, 2021Updated 5 years ago
- Bare metal boot loader for the Raspberry Pi's VideoCore processor (no ARM!)☆15May 16, 2016Updated 10 years ago
- A template engine for HTML in Node.js JavaScript☆12Feb 4, 2023Updated 3 years ago
- Serialization and Reflection proof of concept in C☆13Mar 3, 2013Updated 13 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 smarter tool to automatically generate FFI bindings for C libraries☆11Sep 8, 2014Updated 12 years ago
- C++ x86 Microkernel☆16Oct 11, 2026Updated 3 weeks ago
- ☆13Aug 10, 2021Updated 5 years ago
- An XMPP client library for Haskell.☆53Aug 2, 2021Updated 5 years ago
- Simplified, modular OpenPGP specification☆11Jan 4, 2013Updated 13 years ago
- Raspberry Pi GDB remote serial protocol stub☆39Sep 28, 2016Updated 10 years ago
- Memory game using Elm☆14Jan 1, 2019Updated 7 years ago