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
Sorting:
- ☆71Nov 26, 2025Updated 3 months ago
- DPS calculator for Realm of the Mad God. (Forked and updated cos original went down)☆12Aug 10, 2022Updated 3 years ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- A Swift library for carefully refactoring critical paths.☆12Jan 13, 2022Updated 4 years ago
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 years ago
- ☆10May 21, 2021Updated 4 years ago
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Oct 2, 2019Updated 6 years ago
- Buildroot package repo☆11Feb 7, 2021Updated 5 years ago
- Archive for different contests' problemset and editorial managed by BAPS.☆22Dec 23, 2025Updated 2 months ago
- S.A.R.A. development branch. Rebased often. Use at your own risk.☆10Mar 21, 2021Updated 4 years ago
- libpypa is a Python parser implemented in pure C++☆10May 10, 2015Updated 10 years ago
- Spore is a SIP client for android. With one click setup for free TLS/ZRTP calling on mycelial's truffle network.☆23Mar 7, 2013Updated 13 years ago
- A fork of cryptodev-linux☆11Jun 16, 2021Updated 4 years ago
- Fork of https://github.com/OE4T/tegra-demo-distro with additions for my testing☆13Oct 28, 2025Updated 4 months ago
- The Convergence Admin Console☆14Mar 7, 2023Updated 3 years ago
- The Convergence Client-Server Protocol☆13Jul 7, 2023Updated 2 years ago
- A library of tools for compiler construction.☆12May 18, 2016Updated 9 years ago
- This is the GUI wallet compatible with M2☆11Oct 5, 2023Updated 2 years ago
- Cross-platform inter-process communication.☆10Jul 1, 2015Updated 10 years ago
- ☆10May 3, 2018Updated 7 years ago
- An API for CRUD operations on binary files stored in S3☆26Dec 16, 2021Updated 4 years ago
- Simple RSS Reader supporting fever sync api, base on raven reader☆10Feb 14, 2023Updated 3 years ago
- Math-aware QA system☆18Dec 17, 2022Updated 3 years ago
- Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …☆14May 18, 2021Updated 4 years ago
- C/C++ toolchain for MiniOS☆17Sep 19, 2018Updated 7 years ago
- whoops never finished this lol, don't look it's old and embarrassing☆11Jul 20, 2022Updated 3 years ago
- ☆17Nov 22, 2025Updated 3 months ago
- Find-and-replace patterns for the Go language.☆10Sep 24, 2022Updated 3 years ago
- Allows i3 to move focus differently depending on the focused window☆14Dec 11, 2018Updated 7 years ago
- Kafka Streams + Memcached (e.g. AWS ElasticCache) for low-latency in-memory lookups☆13Nov 4, 2019Updated 6 years ago
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 4 years ago
- Omicron Wiki☆18Jan 15, 2013Updated 13 years ago
- Algorithmically solve Slay the Spire☆19Oct 7, 2022Updated 3 years ago
- Python bindings for pmemkv☆13Mar 22, 2023Updated 2 years ago
- A simple OS written in Rust☆32Sep 9, 2014Updated 11 years ago
- Paper: "Predicting Subjective Features from Questions on QA Websites using BERT"☆14May 22, 2022Updated 3 years ago
- A CLI written in Go for interacting with the Microsoft Office365 Management Activity API☆15Apr 18, 2020Updated 5 years ago
- CI tests for the dnf stack☆15Updated this week
- Proxy service for locally running Alexa skills☆20Jan 26, 2017Updated 9 years ago