Micro certified linux kernel, final project of CS 422/522 Operating System at Yale, 2015 Fall
☆19Jan 1, 2017Updated 9 years ago
Alternatives and similar repositories for mcertikos
Users that are interested in mcertikos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Open Mission Control Technologies (Open MCT) for Mission Control Web Services (MCWS)☆13Updated this week
- A file search engine based on modern search engine algorithms and data structures☆10May 14, 2018Updated 8 years ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆16Apr 22, 2024Updated 2 years ago
- Literate coq blog posts☆17Jan 13, 2016Updated 10 years ago
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 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.
- Linux kernel source tree☆26Oct 13, 2026Updated last week
- Emulation for legacy devices☆33Sep 15, 2026Updated last month
- Attitude Determination System for SFU Satellite Design Team☆15Aug 29, 2017Updated 9 years ago
- Commandline tools for the Opus audio codec☆13Jun 24, 2017Updated 9 years ago
- Provides an RPC interface to automate VSCode from other processes☆11May 29, 2021Updated 5 years ago
- A library of tools for compiler construction.☆13May 18, 2016Updated 10 years ago
- ☆19Updated this week
- Robotic Sailing For All☆18Jun 21, 2019Updated 7 years ago
- ☆15Mar 7, 2018Updated 8 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.
- CI tests for the dnf stack☆15Sep 18, 2026Updated last month
- Export selected layers from Inkscape SVG.☆22Oct 15, 2021Updated 5 years ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- libpypa is a Python parser implemented in pure C++☆10May 10, 2015Updated 11 years ago
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 5 years ago
- Fork of https://github.com/OE4T/tegra-demo-distro with additions for my testing☆13Oct 28, 2025Updated 11 months ago
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Oct 2, 2019Updated 7 years ago
- ☆10May 3, 2018Updated 8 years ago
- Library for AMD SEV☆20Apr 1, 2022Updated 4 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.
- This project provides various tools for processing content MathML with Java.☆14Feb 17, 2026Updated 8 months ago
- Snowpack plugin to watch template files and enable on-demand TailwindCSS JIT compilation for development☆12May 24, 2021Updated 5 years ago
- An implementation of the IETF QUIC protocol in F*☆21Aug 8, 2019Updated 7 years ago
- Deprecated repository, code now lives in: https://github.com/rust-vmm/vhost/☆20Oct 21, 2022Updated 4 years ago
- Experimental Dart-based package manager for dahliaOS☆22Jan 7, 2025Updated last year
- Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …☆14May 18, 2021Updated 5 years ago
- This rap optimizations and hl_cfi have be merged in hardenedlinux/linux-unofficial_grsec☆18Oct 3, 2019Updated 7 years ago
- A DSL/LISP dialect written in Haskell☆21Aug 30, 2018Updated 8 years ago
- An open source implementation of an AMD-V Secure Loader.☆30Nov 8, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Chess in Rust☆16Oct 31, 2022Updated 3 years ago
- ☆10May 21, 2021Updated 5 years ago
- C/C++ toolchain for MiniOS☆17Sep 19, 2018Updated 8 years ago
- sel4 benchmarking applications and support library.☆24Oct 6, 2026Updated 2 weeks ago
- A bunch of scripts to scrape symbols from Linux distributions☆20Sep 15, 2026Updated last month
- Paper: "Predicting Subjective Features from Questions on QA Websites using BERT"☆14May 22, 2022Updated 4 years ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆26Oct 12, 2026Updated last week