zjusbo / mcertikosView external linksLinks
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:
- A minimalistic, blazingly fast 💥 svelte component for audio player ⏮️▶️⏭️☆25Apr 11, 2022Updated 3 years ago
- Academic Resources from BSc in IUT-CSE-18☆19Aug 20, 2024Updated last year
- Linux kernel source tree☆26Feb 4, 2026Updated last week
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- A Swift library for carefully refactoring critical paths.☆12Jan 13, 2022Updated 4 years ago
- Commandline tools for the Opus audio codec☆13Jun 24, 2017Updated 8 years ago
- Robotic Sailing For All☆17Jun 21, 2019Updated 6 years ago
- Archive for different contests' problemset and editorial managed by BAPS.☆22Dec 23, 2025Updated last month
- libpypa is a Python parser implemented in pure C++☆10May 10, 2015Updated 10 years ago
- A meta repo for gathering all the necessary components for running (and releasing) a vaccel environment☆10Jan 19, 2023Updated 3 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 12 years ago
- S.A.R.A. development branch. Rebased often. Use at your own risk.☆10Mar 21, 2021Updated 4 years ago
- ☆15Feb 24, 2024Updated last year
- বাংলায় গোল্যাং (golang) টিউটোরিয়াল☆11May 12, 2021Updated 4 years ago
- ☆15Jul 14, 2025Updated 7 months ago
- The Convergence Client-Server Protocol☆13Jul 7, 2023Updated 2 years ago
- Snowpack plugin to watch template files and enable on-demand TailwindCSS JIT compilation for development☆12May 24, 2021Updated 4 years ago
- ☆10May 3, 2018Updated 7 years ago
- Streaming jobs for Hypertrace☆12Apr 9, 2025Updated 10 months ago
- mkinitcpio scripts for loading LUKS secret from TPM 2.0☆11Jun 11, 2020Updated 5 years ago
- This is the GUI wallet compatible with M2☆11Oct 5, 2023Updated 2 years ago
- A library of tools for compiler construction.☆12May 18, 2016Updated 9 years ago
- a skribbl wordlist for computery teams☆10May 3, 2020Updated 5 years ago
- The Convergence Admin Console☆14Mar 7, 2023Updated 2 years ago
- A D&D (Dark and Dusty) Emacs Theme.☆15Jan 3, 2021Updated 5 years ago
- An API for CRUD operations on binary files stored in S3☆26Dec 16, 2021Updated 4 years ago
- Deployment scripts and documentation for Convergence https://convergence.io☆13Jul 25, 2021Updated 4 years ago
- GitHub Action that configures Nix to read/write to a cache☆17Sep 23, 2024Updated last year
- whoops never finished this lol, don't look it's old and embarrassing☆11Jul 20, 2022Updated 3 years ago
- python stuff I use☆19Dec 18, 2019Updated 6 years ago
- Simple RSS Reader supporting fever sync api, base on raven reader☆10Feb 14, 2023Updated 3 years ago
- Blog Application using Falsk and sqlalchemy☆12Feb 10, 2017Updated 9 years ago
- C/C++ toolchain for MiniOS☆17Sep 19, 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
- CI tests for the dnf stack☆15Feb 9, 2026Updated last week
- A CLI written in Go for interacting with the Microsoft Office365 Management Activity API☆15Apr 18, 2020Updated 5 years ago
- Proxy service for locally running Alexa skills☆20Jan 26, 2017Updated 9 years ago
- ☆14Mar 12, 2019Updated 6 years ago