turion Manuel Bärenz
github.com/turion · maintains 34 packages (34 directly), sole maintainer of 28, member of 0 teams
34 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
A dependently typed functional programming language and proof assistant |
2.8.0 |
3 | 4 | 8 | 12 | maintained | ||
New Categories library |
0.3.0 |
2 | 3 | 0 | 0 | maintained | ||
Programming library for Agda |
0-unstable-2024-08-22 |
3 | 3 | 0 | 0 | maintained | ||
Total Parser Combinators in Agda |
0.5.0-unstable-2025-08-05 |
1 | 3 | 0 | 0 | single | ||
Library for datatype-generic programming in Agda |
1.0.1 |
1 | 3 | 0 | 0 | single | ||
Agda standard library developed at Iowa |
1.5.0 |
2 | 3 | 0 | 0 | maintained broken | ||
Standard library for use with the Agda compiler |
2.3 |
4 | 3 | 4 | 4 | maintained | ||
Fast diff tool for comparing csv files |
1.4.0 → 1.7 |
1 | 3 | 0 | 0 | single outdated | ||
A dependently typed functional programming language and proof assistant |
2.8.0 → 2.8.0.2 |
3 | 41 | 12 | 25 | maintained outdated | ||
Formats package descriptions |
1.6.0.4 |
1 | 9 | 0 | 0 | single | ||
Formats package descriptions |
1.8.4.1 → 1.8.4.2 |
1 | 9 | 0 | 0 | single outdated | ||
CSS preprocessor as embedded Haskell |
0.16.1 |
1 | 8 | 15 | 17 | single | ||
Generalised reactive framework supporting classic, arrowized and monadic FRP |
0.14.1 |
1 | 12 | 3 | 3 | single | ||
General purpose live coding framework |
0.2.9 |
1 | 17 | 8 | 8 | single | ||
General purpose live coding framework - Gloss backend |
0.2.9 |
1 | 10 | 1 | 1 | single | ||
General purpose live coding framework - pulse backend |
0.2.9 |
1 | 9 | 1 | 1 | single | ||
General purpose live coding framework - QuickCheck integration |
0.2.9 |
1 | 10 | 0 | 0 | single | ||
General purpose live coding framework |
0.2.9 |
1 | 11 | 0 | 0 | single | ||
A type inhabited by finitely many values, indexed by type-level naturals |
0.2.1.0 |
1 | 8 | 23 | 99 | single | ||
This library 'Has' transformers |
0.1.0.4 |
1 | 9 | 0 | 0 | single | ||
A library for probabilistic programming |
1.3.0.5 |
1 | 37 | 2 | 2 | single | ||
A new, simple, composable concurrency abstraction |
0.2.0.2 |
1 | 16 | 6 | 9 | single | ||
A new, simple, composable concurrency abstraction |
1.6 → 1.7 |
1 | 16 | 0 | 0 | single outdated | ||
OpenAPI3 Haskell Client Code Generator |
0.2.0.0 |
1 | 28 | 0 | 0 | single | ||
binding to Simple API of pulseaudio |
0.1.14 |
1 | 7 | 4 | 4 | single | ||
Functional Reactive Programming with type-level clocks |
1.5 |
1 | 24 | 7 | 7 | single | ||
Gloss backend for Rhine |
1.5 |
1 | 11 | 2 | 2 | single | ||
Gloss backend for Rhine |
1.6 → 1.8 |
1 | 11 | 0 | 0 | single outdated | ||
Functional Reactive Programming with type-level clocks |
1.6 → 1.8 |
1 | 24 | 0 | 0 | single outdated | ||
A simple library for affine and vector spaces |
0.2.1 |
1 | 6 | 13 | 51 | single | ||
A library for time domains and durations |
0.1.0.5 |
1 | 6 | 4 | 11 | single | ||
A library for time domains and durations |
1.6 → 1.8 |
1 | 6 | 0 | 0 | single outdated | ||
Library for comparing tables, producing a summary of their differences, and using such a summary as a patch file |
1.4.2 |
1 | 16 | 1 | 5 | single | ||
Library for comparing tables, producing a summary of their differences, and using such a summary as a patch file |
1.4.2 |
1 | 16 | 2 | 6 | single |