Exokernel/framework intended to ease the development of pure user space OS kernels
☆20Dec 15, 2023Updated 2 years ago
Alternatives and similar repositories for Gaia
Users that are interested in Gaia 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 Types and Programming Languages Study Group.☆13Oct 2, 2016Updated 9 years ago
- Boron is a scripting language similar to Rebol. The interpreter is a C library which may be copied under the terms of the LGPLv3. (Mirror…☆22Aug 26, 2022Updated 3 years ago
- a forth like language written in fasm assembler☆14Jul 27, 2016Updated 9 years ago
- Python library for the creation of code-based animations.☆10Nov 11, 2016Updated 9 years ago
- Concurrent Functional Reactive Programming for Rust☆16Jun 14, 2016Updated 9 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.
- Simple supervisor to run daemons☆17Oct 30, 2024Updated last year
- A command and control system for C2A-based satellites☆16Mar 13, 2026Updated last week
- Line editor and Cisco-style command tree☆13May 16, 2022Updated 3 years ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 2 months ago
- Platform Certificate Validation Tool - TPM 2.0☆11Dec 9, 2018Updated 7 years ago
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Oct 2, 2019Updated 6 years ago
- Crellvm: Verified Credible Compilation for LLVM☆18Jun 26, 2018Updated 7 years ago
- A code to evolve matter on curved spacetimes with an analytic time and space dependence, e.g. black holes☆12Jan 20, 2025Updated last year
- Gaia DR3 has 6.6M quasar candidates! We construct a new quasar catalog for cosmology with them.☆10Feb 11, 2026Updated last month
- 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.
- Panda Smalltalk☆24Oct 23, 2012Updated 13 years ago
- Easily implement a responsive grid of videos/photos/anything.☆13Feb 19, 2025Updated last year
- ☆11Jan 1, 2021Updated 5 years ago
- Infect to Protect☆15Nov 6, 2018Updated 7 years ago
- Automatic computation of detectors in a topologically quantum error corrected computation☆14Mar 7, 2026Updated 2 weeks ago
- Tools to build knowledge graphs from multi-modal extractions☆12Apr 2, 2020Updated 5 years ago
- Code for studying primordial black hole (PBH) binaries, clothed in dark matter (DM) halos, associated with the paper "Black Holes' Dark D…☆12Jun 5, 2018Updated 7 years ago
- Non-invasive wearable circadian rhythm telemonitoring sensors☆17Apr 16, 2024Updated last year
- ☆12Dec 4, 2018Updated 7 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.
- Dart port of the PBRT ray tracer☆20Jan 7, 2023Updated 3 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- Graphics lib for Erlang☆21Mar 10, 2022Updated 4 years ago
- Fork of http://code.google.com/p/sproxel/☆22Mar 21, 2013Updated 13 years ago
- Open Source Voxel Editor☆22Jan 7, 2023Updated 3 years ago
- Utility to parse a proto file, which describes a Google protocol buffer.☆11Apr 14, 2022Updated 3 years ago
- Massively scalable, cloud-backed distributed block device for Linux and VMs☆24Jan 13, 2025Updated last year
- Python library for interfacing with TPMs☆13Feb 12, 2017Updated 9 years ago
- Go package and CLI to work with VHD images☆14Jul 6, 2020Updated 5 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.
- Modular Provable Security on Commodity System and Application Software Stacks☆13Jan 6, 2022Updated 4 years ago
- descartes: the cartesian hoare logic prover☆12Feb 23, 2017Updated 9 years ago
- 📈 All data from my life — location, health, work, play, and more — open sourced☆14Jul 5, 2022Updated 3 years ago
- Go library for accessing the Namesilo API.☆14Sep 1, 2025Updated 6 months ago
- Supervise child process in the "Go Way"☆17Jan 23, 2022Updated 4 years ago
- Example repo for using golang to write ansible modules☆15Jan 5, 2019Updated 7 years ago
- A simple SSA-based compiler.☆17Apr 29, 2024Updated last year