Markdown for the component era
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
Vigil, the eternal morally vigilant programming language
Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
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