Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
☆22Dec 2, 2015Updated 10 years ago
Alternatives and similar repositories for examour-exokernel
Users that are interested in examour-exokernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An exokernel for the raspberry pi 3.☆82Nov 17, 2021Updated 4 years ago
- An esoteric language based on logic gates.☆13Feb 23, 2021Updated 5 years ago
- OpenGL utilities for math, shaders, etc.☆31Sep 28, 2020Updated 5 years ago
- Graphical system install utility☆15Sep 10, 2021Updated 4 years ago
- Implementation of the core of an exokernel-style operating system☆11Dec 6, 2014Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Common Lisp library for creative coding.☆13Aug 7, 2013Updated 12 years ago
- Mono Hard Debugger☆15Oct 21, 2012Updated 13 years ago
- Direct FFI bindings for OpenGL window and context management☆68Oct 16, 2017Updated 8 years ago
- FX2 EZ USB eeprom reader/writer for libusb☆30Feb 16, 2023Updated 3 years ago
- Inexpensive, reliable, dynamic DNS over IRC☆16Jun 29, 2021Updated 4 years ago
- x386 OS developed in Forth☆60Jan 13, 2010Updated 16 years ago
- A persistant bar at the top the screen.☆14Oct 22, 2021Updated 4 years ago
- A Terminal.app for ravynOS☆20Oct 25, 2025Updated 7 months ago
- Common Lisp Win32 GUI library☆70Aug 2, 2024Updated last year
- 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.
- Passive Bitcoin Project☆10Aug 10, 2015Updated 10 years ago
- Partial implementation of Knuth's MMIX processor (FPGA softcore)☆55Apr 27, 2025Updated last year
- Add CSRF protection to your Kemal application☆28Jun 25, 2025Updated 11 months ago
- An exokernel operating system written in D☆350May 31, 2013Updated 12 years ago
- unfinished port of https://learnopengl.com/ example code to CL☆12May 16, 2020Updated 6 years ago
- A nim module to handle polynomials☆13Jun 7, 2022Updated 3 years ago
- os dev☆20Feb 27, 2017Updated 9 years ago
- Emulated MPW = Mini vMac + Macintosh Programmer's Workshop + glue☆19Apr 11, 2023Updated 3 years ago
- PCB layout for my cheap FPGA HDMI experimenting board☆10Aug 21, 2014Updated 11 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.
- clib2d with lisp using Qt 5.11 (VS2017,x64)☆15Nov 18, 2018Updated 7 years ago
- Indicator of Compromise Mapping Service☆12Apr 15, 2014Updated 12 years ago
- A lisp(sbcl) implementation of the algorithms described in 『The Art of Multiprocessor Programming』☆17Sep 22, 2012Updated 13 years ago
- a git implementation in rust. yeah, I know..☆12Jun 10, 2016Updated 9 years ago
- Extracts indicators of compromise (IOCs), including domain names, IPv4 addresses, email addresses, and hashes, from text.☆11Dec 10, 2017Updated 8 years ago
- Framework complet d'analyse de malware☆12Feb 22, 2016Updated 10 years ago
- Fault code reader☆11Oct 31, 2016Updated 9 years ago
- PonyTown Client For Windows☆13Sep 19, 2016Updated 9 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Spy Agency Teasing☆14Jan 2, 2015Updated 11 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆22May 31, 2018Updated 7 years ago
- Visual programming language: SKetches of Abstract Syntax Trees. I. C.☆10Jan 14, 2022Updated 4 years ago
- eXokernel Development Kit for Linux☆14Jan 6, 2017Updated 9 years ago
- Convert RT tickets to JIRA tickets☆17Mar 9, 2015Updated 11 years ago
- Lucky imaging library☆17Sep 19, 2020Updated 5 years ago
- Wordpress Watcher is a wrapper for WPScan that manages scans on multiple sites and reports by email☆11Jun 23, 2020Updated 5 years ago