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:
- PANDA-powered tracing engine for tenet☆11Apr 7, 2022Updated 4 years ago
- Mordor is a high performance I/O library based on fibers.☆21Sep 9, 2017Updated 9 years ago
- A client-server based computer software application that allows the server to share and sync videos with clients in same local network.☆10Mar 20, 2018Updated 8 years ago
- 4.4BSD Lite Release 2: last and original Unix operating system source code from Berkeley☆12Sep 28, 2016Updated 10 years ago
- Fork of Joe's Own Editor with complete history☆17Jul 27, 2013Updated 13 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.
- An x86 machine-code toolkit☆16Apr 11, 2017Updated 9 years ago
- An x86_64 Linux decompiler written in Python!☆14Jan 16, 2019Updated 7 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
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 8 years ago
- Testing framework for C++ template metaprograms☆11May 12, 2015Updated 11 years ago
- A Lita extension to extract CLI-style arguments from messages.☆13Oct 9, 2015Updated 11 years ago
- API for data collection in twitter. Developed as part of a bot detection project.☆12Oct 28, 2018Updated 7 years ago
- PostgreSQL Schema is a database migration tool.☆13Apr 5, 2018Updated 8 years ago
- Sean Barrett Quake 1 map viewer updated to use SDL☆15Dec 2, 2025Updated 10 months 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.
- A neat little kernel☆11Jul 15, 2019Updated 7 years ago
- This is an implementation of northwind using a DynamoDB single table design☆12Aug 10, 2020Updated 6 years ago
- Linux Security Module Stacking☆10Aug 27, 2026Updated last month
- Kernel Module that implements Paxos protocol☆12Oct 23, 2020Updated 5 years ago
- 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
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 4 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
- Exploits for the win32kfull!bFill vulnerability on Win10 x64 RS2 using Bitmap or Palette techniques☆53Oct 6, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Bare metal boot loader for the Raspberry Pi's VideoCore processor (no ARM!)☆15May 16, 2016Updated 10 years ago
- Pure Rust Whisper File Library☆11Mar 28, 2018Updated 8 years ago
- IDA Pro plugin to recovery static Thumb2 symbols.☆14Sep 14, 2021Updated 5 years ago
- ☆12Sep 3, 2017Updated 9 years ago
- My Untitled OS and Kernel☆11Mar 7, 2024Updated 2 years ago
- An Irssi script to notify the user about incoming messages☆15Jun 18, 2019Updated 7 years ago
- A collection of small programs using toxcore.☆17May 17, 2026Updated 5 months ago
- UPDATED: All the action is at https://github.com/xsscx/srd☆12Jul 12, 2021Updated 5 years ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Find headers that are slow to compile☆12Mar 2, 2018Updated 8 years ago
- Spectral CPU path tracer☆16Jan 7, 2025Updated last year
- Ruby-Locale is the pure ruby library which provides basic and general purpose APIs for localization.☆18Feb 25, 2026Updated 7 months ago
- ScopeT and ScopeH☆13Aug 3, 2024Updated 2 years ago
- Creative Racket competition☆14Nov 7, 2022Updated 3 years ago
- Library to create virtual network connections via tox☆12Jun 6, 2016Updated 10 years ago
- ☆28Jun 30, 2014Updated 12 years ago