A library for enabling task-based multi-threading. It allows execution of task graphs with arbitrary dependencies.
- cpp
- multithreading
- fibers
- task-scheduler
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+35% to 105%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.
- arm64
- c
- compression
- lz4
Python vlc bindings
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
A formalization of geometry in Coq based on Tarski's axiom system
The easiest Future and Promises framework in Swift. No magic. No boilerplate.
- swift
- futures
- promises
- generics
Write CLI-scripts in Elm
- elm
- cli
- script
A natural language parser for validating complex date ranges
Small-C Compiler, Assembler, Linker, Make tool, and Library for 16-bit MS-DOS.
- 16-bit
- 8086
- compiler
- devkit
TALES interpreter for ActionScript
An XML-RPC parser/formatter for Elixir, with full support for datatype mapping!