An exokernel written in C11 (with GNU extensions) for Clang.
☆15Jun 6, 2013Updated 13 years ago
Alternatives and similar repositories for exocore
Users that are interested in exocore are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- multi-layer MVCC log append-only database library based on the Apache CouchDB btree.☆14Jul 23, 2018Updated 8 years ago
- INACTIVE - http://mzl.la/ghe-archive - A small library for constructing app UIs with backbone.js.☆20Mar 28, 2019Updated 7 years ago
- Programming language abstracting existing ones.☆15Dec 4, 2016Updated 9 years ago
- GTK2 bindings for ooc☆15Nov 27, 2013Updated 12 years ago
- Low level modules for the FIX protocol☆17Feb 28, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Nakama Fleet Manager and AWS GameLift adapter.☆13Jul 2, 2026Updated last month
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 years ago
- The Delphin Project☆10Aug 19, 2016Updated 10 years ago
- Automatically generate table of contents for Markdown files☆17Nov 22, 2022Updated 3 years ago
- Nakama server for a Tic Tac Toe game☆19Aug 14, 2025Updated last year
- Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features☆15Dec 8, 2015Updated 10 years ago
- INACTIVE - http://mzl.la/ghe-archive - A list detail view template for an Open Web App.☆22Mar 28, 2019Updated 7 years ago
- Compiler Assisted Localization library for Java☆27Jul 14, 2023Updated 3 years ago
- D Unit Testing Framework - class MyTest {mixin TestMixin; testMethod(){assert(true);} }☆15Dec 23, 2021Updated 4 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.
- Build Erlang apps/deps faster☆20Feb 6, 2021Updated 5 years ago
- The Moby Scheme Compiler for Smartphones☆53Jun 11, 2012Updated 14 years ago
- a quick open/close/ioctl/read/write syscall hooker☆15May 28, 2014Updated 12 years ago
- Active view routing for Polymer extending <template>☆26Jul 6, 2014Updated 12 years ago
- ANNSER is A Neural Network Simulator for Education and Research.☆10Aug 28, 2016Updated 10 years ago
- epc3925 router filename.gwc decoder☆10Jun 4, 2015Updated 11 years ago
- A set of Chef recipes for installing and configuring Nginx.☆17Oct 19, 2018Updated 7 years ago
- Text transformation functions for implementing a markdown toolbar in an iOS app.☆20Sep 11, 2015Updated 10 years ago
- Portable threads API for Common Lisp (from GBBopen project)☆13May 23, 2021Updated 5 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 simple implementation of Facebook's Open Graph API☆17Dec 12, 2010Updated 15 years ago
- The Strobe Type Checker for JavaScript☆16Jun 12, 2012Updated 14 years ago
- A runtime-independent crate for transforming Wasm-DWARF☆12Mar 11, 2020Updated 6 years ago
- Upstream eglibc + xilinx branches☆19Nov 7, 2013Updated 12 years ago
- Boost.org conversion module☆14Aug 12, 2026Updated 2 weeks ago
- My public presentations and code examples☆15Jan 20, 2024Updated 2 years ago
- BAT - Bootstrap, AngularJS, Tornado☆17May 18, 2013Updated 13 years ago
- Prototype changelog stanza for @Homebrew Casks and formulae.☆13Nov 2, 2022Updated 3 years ago
- Companion Worm research☆17Nov 8, 2021Updated 4 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.
- Fork of apple/swift with modifications to the stdlib to use in a bare metal kernel for use with swift-project1. See KERNEL_LIB.md for det…☆15Apr 8, 2026Updated 4 months ago
- Cikada is a pdf presentation tool.☆15Jul 29, 2017Updated 9 years ago
- ☆12Oct 22, 2025Updated 10 months ago
- Boost.org typeof module☆13Aug 12, 2026Updated 2 weeks ago
- ☆16Updated this week
- Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)☆17Sep 12, 2017Updated 8 years ago
- Xcode-compatible build tool. Forked for PureDarwin☆12Jul 19, 2024Updated 2 years ago