ulysses4ever Artem Pelenitsyn
github.com/ulysses4ever · maintains 13 packages (13 directly), sole maintainer of 13, member of 0 teams
13 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Deriving Parsers and Quasi-Quoters from BNF Grammars |
0.6.1 |
1 | 11 | 2 | 2 | single | ||
Quasi-quoter for Alex lexers |
0.3.0.13 |
1 | 10 | 1 | 3 | single | ||
Quasi-quoter for Happy parsers |
0.2.1.0 |
1 | 9 | 1 | 3 | single | ||
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver |
0.9.6.3.2 |
1 | 28 | 3 | 15 | single | ||
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver |
0.9.6.3.5 → 8.10.7 |
1 | 35 | 0 | 0 | single outdated | ||
Liquid Types for Haskell |
0.9.10.1.2 |
1 | 8 | 11 | 11 | single | ||
Liquid Types for Haskell |
0.9.10.1.2 |
1 | 30 | 6 | 13 | single | ||
Liquid Types for Haskell |
0.9.12.2.1 → 0.9.14.1.1 |
1 | 30 | 0 | 0 | single outdated | ||
Liquid Types for Haskell |
0.9.12.2.1 → 0.9.14.1.1 |
1 | 8 | 0 | 0 | single outdated | ||
Low-level functions for SMT-LIB-based interaction with SMT solvers |
0.4 |
1 | 6 | 6 | 21 | single | ||
An SMT-LIB backend running solvers as external processes |
0.3 |
1 | 12 | 3 | 18 | single | ||
Testing SMT-LIB backends |
0.3 |
1 | 9 | 2 | 20 | single | ||
Efficient vector-based mutable hashtables implementation |
0.1.2.1 |
1 | 13 | 4 | 29 | single |