A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
- c
- coroutine
- coroutine-library
- high-performance
Repository Index
81,588 visible repositories in the index
1–5 of 5 · Most stars
A asymmetric coroutine library for C.
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort