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:
- ☆77Nov 26, 2025Updated 8 months ago
- Open Source Book "Deep Learning & Artificial Neural Network" - Nuhil Mehdy☆13Jul 6, 2020Updated 6 years ago
- 📶 - Elm style FRP library for Haskell☆16Aug 8, 2018Updated 7 years ago
- Streaming jobs for Hypertrace☆12Apr 9, 2025Updated last year
- A natural language image and video search tool powered by Google's SigLIP 2 model☆15Nov 28, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 6 years ago
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 years ago
- Linux kernel source tree☆26Updated this week
- S.A.R.A. development branch. Rebased often. Use at your own risk.☆10Mar 21, 2021Updated 5 years ago
- Slides and other materials for club meetings☆17Jun 26, 2022Updated 4 years ago
- ☆15Mar 17, 2025Updated last year
- Emulation for legacy devices☆32Jul 1, 2026Updated 3 weeks ago
- A Swift library for carefully refactoring critical paths.☆13Jan 13, 2022Updated 4 years ago
- Commandline tools for the Opus audio codec☆13Jun 24, 2017Updated 9 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.
- Safe wrappers for VFIO☆15Nov 30, 2021Updated 4 years ago
- Provides an RPC interface to automate VSCode from other processes☆11May 29, 2021Updated 5 years ago
- Robotic Sailing For All☆17Jun 21, 2019Updated 7 years ago
- ☆15Mar 7, 2018Updated 8 years ago
- CI tests for the dnf stack☆15Jul 23, 2026Updated last week
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- libpypa is a Python parser implemented in pure C++☆10May 10, 2015Updated 11 years ago
- TensorFlow plugin for Gen probabilistic programming system.☆10Apr 7, 2021Updated 5 years ago
- Verified Boot for RPi3☆15Nov 16, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Math-aware QA system☆18May 8, 2026Updated 2 months ago
- This project provides various tools for processing content MathML with Java.☆13Feb 17, 2026Updated 5 months ago
- Library for AMD SEV☆20Apr 1, 2022Updated 4 years ago
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 4 years ago
- A DSL/LISP dialect written in Haskell☆21Aug 30, 2018Updated 7 years ago
- Snowpack plugin to watch template files and enable on-demand TailwindCSS JIT compilation for development☆12May 24, 2021Updated 5 years ago
- ☆10May 3, 2018Updated 8 years ago
- Fork of ffmpeg (git://source.ffmpeg.org/ffmpeg.git). Required to compile avrecode lossless video compression (https://github.com/dropbox/…☆19May 22, 2016Updated 10 years ago
- An implementation of the IETF QUIC protocol in F*☆21Aug 8, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Experimental Dart-based package manager for dahliaOS☆22Jan 7, 2025Updated last year
- Deprecated repository, code now lives in: https://github.com/rust-vmm/vhost/☆20Oct 21, 2022Updated 3 years ago
- This rap optimizations and hl_cfi have be merged in hardenedlinux/linux-unofficial_grsec☆18Oct 3, 2019Updated 6 years ago
- Example code included in the "Improving Your Embedded Linux Security Posture with Yocto" whitepaper☆17Apr 21, 2022Updated 4 years ago
- The Convergence Client-Server Protocol☆13Jul 7, 2023Updated 3 years ago
- An open source implementation of an AMD-V Secure Loader.☆28Nov 8, 2021Updated 4 years ago
- A streaming cross-cat inference engine☆20Mar 27, 2024Updated 2 years ago