☆20Aug 4, 2022Updated 4 years ago
Alternatives and similar repositories for XenGT-Preview-xen
Users that are interested in XenGT-Preview-xen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆32Aug 4, 2022Updated 4 years ago
- High-level milestone planning for Qubes OS☆32Aug 16, 2016Updated 10 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆13Sep 7, 2016Updated 10 years ago
- ☆21Aug 4, 2022Updated 4 years ago
- A GPU (CUDA) accelerated set of tools for object detection using waldboost/LBP.☆10May 25, 2015Updated 11 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.
- Matlab code for our ICCV 2013 work "Person Re-identification by Salience Matching"☆12Jul 24, 2014Updated 12 years ago
- Repository for OpenCV's extra modules☆14Feb 19, 2015Updated 11 years ago
- Control your YNCA Yamaha AVR from the command line☆10Aug 21, 2015Updated 11 years ago
- Linux kernel to support Mellanox BlueField SoCs☆14Nov 13, 2019Updated 6 years ago
- Embed typed ASN.1 grammars in OCaml☆36Sep 14, 2026Updated last month
- Epic - a Supercombinator Compiler☆11Apr 29, 2010Updated 16 years ago
- A trie data structure implemented in OCaml☆10Feb 8, 2012Updated 14 years ago
- C++ Asio language bindings for OFI libfabric☆14Jul 16, 2021Updated 5 years ago
- A collection of functional, mergeable datatypes for Irmin☆12Dec 25, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A set of tools that automate the execution of scarab simulations☆20Updated this week
- Qubes component: core-vchan-xen☆15Oct 7, 2026Updated last week
- Like the tax form, this is an easier interface for quick n dirty XMLM scripts☆13Jan 22, 2020Updated 6 years ago
- Zurb Foundation templates for a blog/wiki using Cohttp☆11Sep 10, 2021Updated 5 years ago
- Implementation of the cufp.org website.☆11Sep 7, 2017Updated 9 years ago
- HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)☆12Sep 4, 2024Updated 2 years ago
- FastHOG library that has been fixed to work with CUDA 5.x on Ubuntu 12.04☆20Jan 23, 2014Updated 12 years ago
- Programmable browser for functional black-box tests☆21May 18, 2026Updated 5 months ago
- Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity☆14Nov 14, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Xen Netfront and Netback ethernet device drivers for Mirage☆13Sep 16, 2026Updated last month
- MirageOS Syslog Unikernel☆11Oct 30, 2016Updated 9 years ago
- package for dense color histogram and dense SIFT feature extraction☆16Jul 14, 2014Updated 12 years ago
- File mapping☆12Dec 14, 2023Updated 2 years ago
- ☆10Sep 30, 2026Updated 2 weeks ago
- Portable clock implementation for Unix and Xen☆17Apr 24, 2024Updated 2 years ago
- Portable console handling for Mirage applications☆12Feb 2, 2022Updated 4 years ago
- ☆13Sep 22, 2018Updated 8 years ago
- Verification tools for HardCaml☆10Jun 13, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 4 years ago
- A DHCP server for UNIX systems based on charrua-core.☆11May 24, 2017Updated 9 years ago
- Windows 64-bits driver☆18Dec 1, 2017Updated 8 years ago
- OCaml cli tool to backup discussions (channels and conversations) from slack☆11May 22, 2016Updated 10 years ago
- Portable and reasonably fast OCaml regexp library☆14Dec 31, 2011Updated 14 years ago
- WebGL System Capability Profiles, Diagnostic Reports, and Onboarding☆15Mar 8, 2013Updated 13 years ago
- Control a General Instrument AY-3-8910 sound generator from a Raspberry Pi.☆14Jul 6, 2021Updated 5 years ago