A concurrent library based on cooperative scheduling of user-level threads(fibers) implemented in C++
☆27Jun 15, 2022Updated 3 years ago
Alternatives and similar repositories for uThreads
Users that are interested in uThreads are comparing it to the libraries listed below
Sorting:
- Effective System Call Aggregation☆39Nov 3, 2022Updated 3 years ago
- Algorithms that work on generic C arrays☆11Feb 13, 2017Updated 9 years ago
- A generalized library and application to handle crashes in Linux applications☆14Nov 28, 2015Updated 10 years ago
- rust-writing-os course of https://rust.os2edu.cn☆11Apr 29, 2022Updated 3 years ago
- Multitasking kernel for Arm/Thumb/AArch64 targets.☆48Dec 22, 2021Updated 4 years ago
- libstrbuf: A powerful string library for C☆17Oct 15, 2016Updated 9 years ago
- 在 RISC-V 處理器上設計作業系統 -- 程式碼+電子書☆33Jul 11, 2021Updated 4 years ago
- An implementation of classical tic-tac-toe game for terminal I/O☆16Sep 2, 2022Updated 3 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 2 years ago
- AS3 ByteArray class for lua.☆19Oct 9, 2020Updated 5 years ago
- Course web page for Fall 2021.☆22Dec 26, 2021Updated 4 years ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Sep 21, 2022Updated 3 years ago
- A low level preprocessor meta programming library.☆30Jul 20, 2023Updated 2 years ago
- GCC plugin for C language that tracks references to allocated objects☆30May 12, 2025Updated 9 months ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆29Apr 11, 2022Updated 3 years ago
- An implementation of the Lox language in Racket.☆37Oct 28, 2023Updated 2 years ago
- Virtual Linux soundcard driver☆29May 6, 2024Updated last year
- An implementation of tic-tac-toe in C, featuring AI agents☆36Apr 21, 2025Updated 10 months ago
- A simple SMP OS on ARMv8a☆28May 18, 2022Updated 3 years ago
- A D3D9 implementation using OpenGL3☆31May 9, 2015Updated 10 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- A red-black tree implementation☆42Oct 15, 2025Updated 4 months ago
- giza - a scientific plotting library for C/Fortran☆41Feb 5, 2026Updated 3 weeks ago
- ☆11Mar 8, 2024Updated last year
- C89 compatible threads.☆39Nov 14, 2025Updated 3 months ago
- ☆11Oct 25, 2024Updated last year
- Classifier of pathogenic non-coding variants in Mendelian diseases☆10Feb 6, 2020Updated 6 years ago
- 协程上下文切换☆10Jul 18, 2024Updated last year
- ☆13Jul 22, 2022Updated 3 years ago
- ☆10Nov 5, 2020Updated 5 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- A collection of virtual input device drivers for Linux☆36Apr 10, 2022Updated 3 years ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- JIT-accelerated RISC-V instruction set simulator☆37Dec 7, 2023Updated 2 years ago
- A portable, software-only OpenGL 1.1 rasterizer in C99☆97Dec 11, 2025Updated 2 months ago
- Traditional Chinese translation of "What Every Programmer Should Know About Memory"☆335Dec 24, 2025Updated 2 months ago
- From Zero to QED: An informal introduction to formality with Lean 4☆98Feb 13, 2026Updated 2 weeks ago
- A shabby implementation of Java virtual machine in C☆148Sep 6, 2022Updated 3 years ago
- A virtual wireless device driver for Linux☆244Jan 29, 2026Updated 3 weeks ago