A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.
- golang
- go
- goroutine
Repository Index
57,138 visible repositories in the index
73–82 of 82 · Most stars
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Elixir/Erlang bindings for lexborisov's myhtml
HTPL is a programming language based on HTML
- programming-language
- htpl-compiler
- html
JVM runtime execution analysis - finds hot code paths by frequency, not CPU time
- asm
- bytecode
- code-coverage
- java
Go date utilities inspired by date-fns. Timezone-aware, WebAssembly-compatible, with comprehensive test coverage.
a Vlang library for building PHP extensions natively in Vlang, with bindings and abstractions over the PHP/Zend extension API
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Solving the mini Rubik (2x2) in Coq
- theorem-proving
- formalization
- rubik-cube
- 2x2x2
Formal proof in Coq of Puiseux's Theorem.