12,593 packages · page 18 of 126
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Libraries for the Copilot language |
4.7 → 4.8.1 |
0 | 12 | 0 | 0 | unmaintained outdated | ||
A prettyprinter of Copilot Specifications |
4.7 → 4.8.1 |
0 | 7 | 0 | 0 | unmaintained outdated | ||
k-induction for Copilot |
4.7 → 4.8.1 |
0 | 21 | 0 | 0 | unmaintained outdated | ||
System for verifying the correctness of generated Copilot programs |
4.7 → 4.8.1 |
0 | 32 | 0 | 0 | unmaintained broken outdated | ||
Visualizer for Copilot |
4.7 → 4.8.1 |
0 | 14 | 0 | 0 | unmaintained broken outdated | ||
A stream DSL for writing embedded C programs |
4.7 → 4.8.1 |
0 | 13 | 0 | 0 | unmaintained outdated | ||
Symbolic cryptographic protocol analyzer |
4.4.8 → 4.4.9 |
0 | 7 | 0 | 0 | unmaintained outdated | ||
Crack various integer and floating-point data formats |
3.15 → 4.7 |
0 | 10 | 0 | 0 | unmaintained outdated | ||
Garbage collected event folding CRDT |
1.8.1.2 → 1.8.1.4 |
0 | 11 | 1 | 1 | unmaintained outdated | ||
Criterion measurement functionality and associated types |
0.2.4.0 → 0.2.5.0 |
0 | 9 | 10 | 167 | unmaintained outdated | ||
Crucible is a library for language-agnostic symbolic simulation |
0.9 → 0.10 |
0 | 29 | 7 | 7 | unmaintained outdated | ||
Support for translating and executing LLVM code in Crucible |
0.9 → 0.10 |
0 | 25 | 2 | 2 | unmaintained broken outdated | ||
Simple top-level library for Crucible Simulation |
0.9 → 0.10 |
0 | 36 | 2 | 2 | unmaintained outdated | ||
A verification tool for C programs |
0.12 → 0.13 |
0 | 34 | 1 | 1 | unmaintained outdated | ||
Cryptographic random number generator |
0.3.0.1 → 0.3.0.2 |
0 | 11 | 2 | 2 | unmaintained outdated | ||
Adaptation of the crypto-rng library for the effectful ecosystem |
1.0.0.0 → 1.0.1.0 |
0 | 11 | 0 | 0 | unmaintained outdated | ||
Cryptol: The Language of Cryptography |
3.5.0 → 3.6.0 |
0 | 50 | 0 | 0 | unmaintained outdated | ||
X.509 collection accessing and storing methods |
1.9.0 → 1.10.0 |
0 | 13 | 0 | 0 | unmaintained outdated | ||
Handle per-operating-system X.509 accessors and storage |
1.9.0 → 1.10.0 |
0 | 9 | 0 | 0 | unmaintained outdated | ||
Utility for X509 certificate and chain |
1.9.0 → 1.9.1 |
0 | 16 | 0 | 0 | unmaintained broken outdated | ||
X.509 Certificate and CRL validation |
1.9.0 → 1.10.0 |
0 | 18 | 0 | 0 | unmaintained outdated | ||
X509 reader and writer |
1.9.0 → 1.10.0 |
0 | 15 | 0 | 0 | unmaintained outdated | ||
Cryptography Primitives sink |
1.1.2 → 2.1.9 |
0 | 13 | 0 | 0 | unmaintained outdated | ||
Serialization of cryptographic data types |
0.5.0.0 → 0.6.0.0 |
0 | 18 | 4 | 43 | unmaintained outdated | ||
CDDL Generator and test utilities |
1.6.0.0 → 1.8.1.0 |
0 | 38 | 0 | 0 | unmaintained broken outdated | ||
Fast, Haskell RPC |
0.5.1 → 0.5.2 |
0 | 27 | 1 | 1 | unmaintained outdated | ||
Common Vulnerability Scoring System |
0.2.0.1 → 0.3.0.0 |
0 | 8 | 3 | 4 | unmaintained outdated | ||
A debug adaptor protocol library |
0.5.0.0 → 0.8.0.0 |
0 | 18 | 2 | 2 | unmaintained outdated | ||
Find cycles in periodic functions (and lists) |
0.1.2.0 → 0.1.2.1 |
0 | 12 | 0 | 0 | unmaintained outdated | ||
SVD (System view description) file handling |
0.1.2.0 → 0.1.3.0 |
0 | 20 | 1 | 1 | unmaintained outdated | ||
SIMD-accelerated CSV reader for the dataframe library |
1.0.0.0 → 1.4.1.1 |
0 | 12 | 0 | 0 | unmaintained broken outdated | ||
Converts between dataframes and hasktorch tensors |
0.1.0.2 → 0.4.0.1 |
0 | 9 | 1 | 1 | unmaintained outdated | ||
Persistent database integration for the dataframe library |
0.2.0.0 → 0.5.0.0 |
0 | 10 | 0 | 0 | unmaintained outdated | ||
A fast, safe, and intuitive DataFrame library |
1.1.2.1 → 3.6.1.0 |
0 | 29 | 0 | 0 | unmaintained outdated | ||
Haskell bindings for Datastar |
1.0.0.0 → 1.1.1.0 |
0 | 16 | 0 | 0 | unmaintained outdated | ||
A client library for the D-Bus IPC system |
1.4.2 → 1.4.3 |
0 | 16 | 31 | 41 | unmaintained outdated | ||
Expose a dbus server to control hslogger |
0.1.1.0 → 0.1.1.1 |
0 | 9 | 3 | 5 | unmaintained outdated | ||
A Haskell implementation of the DBusMenu protocol |
0.1.3.2 → 0.1.4.0 |
0 | 156 | 2 | 2 | unmaintained outdated | ||
Haskell bindings for Dear ImGui |
2.4.1 → 2.5.0 |
0 | 98 | 1 | 1 | unmaintained broken outdated | ||
Utilities for making your applications more debuggable |
0.1.0 → 0.1.1 |
0 | 11 | 0 | 0 | unmaintained outdated | ||
Deep evaluation of data structures |
1.5.2.0 → 1.6.0.0 |
0 | 6 | 0 | 0 | unmaintained outdated | ||
Defunctionalization helpers: booleans |
0.1 → 0.1.0.1 |
0 | 8 | 1 | 1 | unmaintained broken outdated | ||
Defunctionalization helpers: lists |
0.1.0.1 → 0.1.0.2 |
0 | 8 | 1 | 1 | unmaintained outdated | ||
Render dhall text with shell commands as function arguments |
0.2.0.0 → 0.2.1.0 |
0 | 8 | 0 | 0 | unmaintained broken outdated | ||
abstract syntax tree for multiple programming languages |
1.1.5 → 1.3.1 |
0 | 9 | 3 | 3 | unmaintained broken outdated | ||
Intermediate language for static code analysis |
1.0.16 → 2.1.1 |
0 | 10 | 1 | 1 | unmaintained broken outdated | ||
query language api for dhscanner knowledge base |
1.0.3 → 1.1.1 |
0 | 10 | 0 | 0 | unmaintained outdated | ||
knowledge base predicates for static code analysis |
1.0.35 → 2.1.1 |
0 | 12 | 0 | 0 | unmaintained outdated | ||
0.1.1.0 → 0.2.0.1 |
0 | 8 | 1 | 1 | unmaintained broken outdated | |||
Collection of user contributions to diagrams EDSL |
1.4.6 → 1.4.8 |
0 | 29 | 4 | 15 | unmaintained outdated | ||
Embedded domain-specific language for declarative graphics |
1.5.1 → 1.6 |
0 | 33 | 83 | 109 | unmaintained outdated | ||
Pure Haskell solver routines used by diagrams |
0.1.3.1 → 0.3 |
0 | 9 | 2 | 110 | unmaintained outdated | ||
Gemini client |
0.1.16 → 0.1.17 |
0 | 29 | 0 | 0 | unmaintained outdated | ||
Platform-agnostic library for filesystem operations |
1.3.10.1 → 1.3.11.0 |
0 | 7 | 0 | 0 | unmaintained outdated | ||
Write bots for Discord in Haskell |
1.18.0 → 1.19.0 |
0 | 24 | 1 | 1 | unmaintained outdated | ||
Cloud Haskell: Erlang-style concurrency in Haskell |
0.7.8 → 0.7.9 |
0 | 13 | 32 | 33 | unmaintained outdated | ||
Peer-to-peer node discovery for Cloud Haskell |
0.1.5.0 → 0.1.6.0 |
0 | 10 | 1 | 1 | unmaintained broken outdated | ||
Unifying Parsers, Printers & Grammars |
0.5.0.0 → 0.6.0.0 |
0 | 17 | 0 | 0 | unmaintained outdated | ||
ditto is a type-safe HTML form generation and validation library |
0.4.1 → 0.5.0 |
0 | 6 | 3 | 3 | unmaintained outdated | ||
Add support for using lucid with Ditto |
0.4 → 0.5.0 |
0 | 9 | 2 | 2 | unmaintained broken outdated | ||
Parser and renderer for djot light markup syntax |
0.1.4 → 0.1.4.3 |
0 | 10 | 2 | 8,143 | unmaintained outdated | ||
A dnf wrapper with fine control of enabled repos |
0.6.2 → 0.7 |
0 | 14 | 0 | 0 | unmaintained outdated | ||
A prettyprinting library for laying out text documents |
0.5.0.1 → 0.6 |
0 | 12 | 15 | 8,174 | unmaintained outdated | ||
Pandoc-style document templates |
0.11.0.1 → 0.11.1 |
0 | 17 | 15 | 8,144 | unmaintained outdated | ||
Test interactive Haskell examples |
0.24.3 → 0.25.0.2 |
0 | 18 | 609 | 19,903 | unmaintained outdated | ||
A cross-platform dotfiles manager |
0.2.0 → 0.2.1 |
0 | 33 | 0 | 0 | unmaintained outdated | ||
dot language parsing and printing |
0.1.4.0 → 0.1.4.1 |
0 | 14 | 1 | 1 | unmaintained outdated | ||
Haskell FFI bindings for DuckDB |
1.5.0.0 → 1.5.6.0 |
1 | 10 | 1 | 2 | single outdated | ||
Haskell FFI bindings for DuckDB |
0.1.5.1 → 0.3.0.0 |
1 | 13 | 1 | 1 | single outdated | ||
Extending the tranformers package with duoids |
0.0.1.0 → 0.0.2.0 |
0 | 10 | 0 | 0 | unmaintained outdated | ||
Unifying parallel and sequential operations |
0.0.1.0 → 0.1.0.0 |
0 | 9 | 3 | 3 | unmaintained broken outdated | ||
Unifying parallel and sequential operations |
0.0.1.0 → 0.0.2.0 |
0 | 11 | 1 | 1 | unmaintained outdated | ||
Minimum-overhead mutable dynamic arrays |
0.1.3 → 0.1.3.1 |
0 | 7 | 0 | 0 | unmaintained outdated | ||
Elliptic Curve Cryptography for Haskell |
0.2.3.2 → 0.2.3.3 |
0 | 8 | 2 | 2 | unmaintained broken outdated | ||
A data structure for emission plans |
0.3.1.1 → 0.3.1.3 |
0 | 6 | 1 | 2 | unmaintained outdated | ||
An easy to use, performant extensible effects library |
2.6.1.0 → 2.7.1.0 |
0 | 15 | 15 | 18 | unmaintained outdated | ||
An easy to use, performant extensible effects library |
2.6.1.0 → 2.7.1.2 |
0 | 11 | 37 | 48 | unmaintained outdated | ||
effectful support for high-level PostgreSQL operations via Opaleye |
0.1.1.0 → 0.2.0.0 |
0 | 12 | 0 | 0 | unmaintained outdated | ||
A GHC plugin for improving disambiguation of effects |
2.1.0.0 → 2.2.0.0 |
0 | 7 | 0 | 0 | unmaintained outdated | ||
Simple work queue for bounded concurrency (effectful wrapper) |
0.1.0.0 → 0.1.0.1 |
0 | 13 | 0 | 0 | unmaintained outdated | ||
effectful support for mid-level PostgreSQL operations |
0.1.0.1 → 0.2.0.0 |
0 | 10 | 1 | 1 | unmaintained outdated | ||
Template Haskell utilities for the effectful library |
1.0.0.3 → 1.0.0.4 |
0 | 8 | 3 | 3 | unmaintained outdated | ||
Simulation interpreter for FLINT policy descriptions |
3.1.0.2 → 4.1.0.1 |
0 | 13 | 0 | 0 | unmaintained broken outdated | ||
Programming language with non-linear pattern-matching against non-free data |
5.0.0 → 5.1.0 |
0 | 17 | 2 | 2 | unmaintained outdated | ||
Conversion between emoji characters and their names |
0.1.4.1 → 0.1.5 |
0 | 7 | 8 | 8,188 | unmaintained outdated | ||
A library for various character encodings |
0.10.2 → 0.10.3 |
0 | 10 | 10 | 211 | unmaintained outdated | ||
Sets of enumeration values represented by machine words |
0.1 → 0.1.0.2 |
1 | 9 | 11 | 31 | single outdated | ||
Temporary PostgreSQL databases for testing |
0.2.1.0 → 0.3.1.0 |
0 | 13 | 5 | 5 | unmaintained broken outdated | ||
Command line utilities for working with epub files |
3.2 → 4.0 |
0 | 10 | 0 | 0 | unmaintained broken outdated | ||
An entity-relationship diagram generator from a plain text description |
0.2.1.0 → 0.2.2 |
0 | 12 | 0 | 0 | unmaintained broken outdated | ||
Decentralized messaging and synchronization |
0.2.1 → 0.2.3 |
0 | 20 | 0 | 0 | unmaintained broken outdated | ||
Test framework with virtual network using Linux namespaces |
0.3.4 → 0.3.6 |
0 | 14 | 0 | 0 | unmaintained outdated | ||
Generic API client library for ERPNext |
0.2.0.0 → 0.3.0.0 |
0 | 14 | 0 | 0 | unmaintained broken outdated | ||
Espial is an open-source, web-based bookmarking server |
0.0.20 → 0.0.42 |
0 | 59 | 0 | 0 | unmaintained broken outdated | ||
Type-safe EDSL for SQL queries on persistent backends |
3.6.0.0 → 3.6.0.3 |
0 | 27 | 31 | 36 | unmaintained outdated | ||
Core module for eventium |
0.3.1 → 0.7.1 |
0 | 14 | 6 | 6 | unmaintained outdated | ||
In-memory implementations for eventium |
0.3.1 → 0.7.1 |
0 | 12 | 0 | 0 | unmaintained outdated | ||
Postgres implementations for eventium |
0.3.1 → 0.7.1 |
0 | 16 | 0 | 0 | unmaintained outdated | ||
Common library for SQL event stores |
0.3.1 → 0.7.1 |
0 | 10 | 2 | 2 | unmaintained outdated | ||
SQLite implementations for eventium |
0.3.1 → 0.7.1 |
0 | 16 | 0 | 0 | unmaintained outdated |