Markdown for the component era
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Unified Java API for multiple decompilers (Fernflower, Vineflower, Procyon, CFR, JD-Core, JADX)
- bytecode
- cfr
- decompilation
- decompiler