19,399 packages · page 43 of 194
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Injective explicit total and partial conversions |
0.0.4 |
0 | 10 | 0 | 0 | unmaintained | ||
Safe and unsafe data conversion utilities with strong type-level operation. checking. |
1.5.1 |
0 | 11 | 4 | 11 | unmaintained | ||
Convert the annotation of a gene to another in a delimited file using a variety of different databases |
0.5.1.0 |
0 | 19 | 0 | 0 | unmaintained broken | ||
Statically typed unit conversions |
0.1 |
0 | 9 | 0 | 0 | unmaintained | ||
Typeclasses and instances for converting between types |
1.1.1.1 |
0 | 8 | 61 | 147 | unmaintained | ||
convertible instances for ascii |
0.1.0.1 |
0 | 11 | 0 | 0 | unmaintained | ||
Typeclasses and instances for converting between types (deprecated) |
0.4.0.2 |
0 | 8 | 4 | 8 | unmaintained | ||
A type-safe client generator for Convex for both Rust and Python |
0.1.8.0 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Convex hull |
0.1.0.0 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Tiered general-purpose libraries with domain-specific applications |
3.0.1.1 |
0 | 7 | 1 | 1 | unmaintained | ||
HTTP cookie parsing and rendering |
0.5.1 |
0 | 12 | 88 | 10,988 | unmaintained | ||
For serving cookies |
0.0.0.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
web cookies |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Parser for the Cook markup language |
0.1.1 |
0 | 8 | 0 | 0 | unmaintained broken | ||
A representation of latitude and longitude |
0.2 |
0 | 9 | 2 | 2 | unmaintained | ||
A stream DSL for writing embedded C programs |
4.5.1 |
0 | 13 | 6 | 6 | unmaintained | ||
A compiler for Copilot targeting FPGAs |
4.7 → 4.8.1 |
0 | 10 | 0 | 0 | unmaintained broken outdated | ||
A compiler for Copilot targeting C99 |
4.5.1 |
0 | 15 | 8 | 9 | unmaintained | ||
A compiler for Copilot targeting C99 |
4.7 → 4.8.1 |
0 | 15 | 0 | 0 | unmaintained outdated | ||
Copilot interface to a C model-checker |
2.2.1 |
0 | 9 | 0 | 0 | unmaintained | ||
An intermediate representation for Copilot |
4.5.1 |
0 | 11 | 18 | 24 | unmaintained | ||
An intermediate representation for Copilot |
4.7 → 4.8.1 |
0 | 11 | 0 | 0 | unmaintained outdated | ||
FRP sketch programming with Copilot |
1.0.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
Interpreter for Copilot |
4.5.1 |
0 | 11 | 5 | 13 | unmaintained | ||
Interpreter for Copilot |
4.7 → 4.8.1 |
0 | 11 | 0 | 0 | unmaintained outdated | ||
A Haskell-embedded DSL for monitoring hard real-time distributed systems |
4.5.1 |
0 | 15 | 11 | 11 | unmaintained | ||
A Haskell-embedded DSL for monitoring hard real-time distributed systems |
4.7 → 4.8.1 |
0 | 15 | 0 | 0 | unmaintained outdated | ||
Libraries for the Copilot language |
4.5.1 |
0 | 13 | 3 | 8 | unmaintained | ||
Libraries for the Copilot language |
4.7 → 4.8.1 |
0 | 12 | 0 | 0 | unmaintained outdated | ||
A prettyprinter of Copilot Specifications |
4.5.1 |
0 | 7 | 7 | 17 | unmaintained | ||
A prettyprinter of Copilot Specifications |
4.7 → 4.8.1 |
0 | 7 | 0 | 0 | unmaintained outdated | ||
A compiler for CoPilot targeting SBV |
2.2.1 |
0 | 8 | 1 | 1 | unmaintained broken | ||
k-induction for Copilot |
4.5.1 |
0 | 22 | 8 | 13 | unmaintained | ||
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 | ||
Haskell interface to the Fedora Copr system |
1.1.1 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Copr API client libary |
0.2.0 |
0 | 9 | 2 | 2 | unmaintained | ||
Yet another shell monad |
0.2.0.1 |
0 | 13 | 1 | 1 | unmaintained | ||
External core parser and pretty printer |
0.5 |
0 | 6 | 0 | 0 | unmaintained broken | ||
compile your own mini functional language with Core |
0.1.0.2 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Convenience wrappers around common data structures and encodings |
0.3.9.1 |
0 | 15 | 7 | 8 | unmaintained | ||
Interoperability with the effectful effects system |
0.0.0.4 |
0 | 10 | 0 | 0 | unmaintained broken | ||
A subset of Haskell using in UCC for teaching purpose |
0.6.4 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Print the Core representation of a binding with a GHC plugin |
0.1.0.0 |
0 | 6 | 0 | 0 | unmaintained | ||
Opinionated Haskell Interoperability |
0.7.0.0 |
0 | 18 | 7 | 7 | unmaintained | ||
Advanced telemetry |
0.2.9.4 |
0 | 17 | 4 | 4 | unmaintained | ||
A rope type based on a finger tree over UTF-8 fragments |
0.3.8.1 |
0 | 12 | 8 | 9 | unmaintained | ||
"Provide warnings for unexpected Core generation" |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Interoperability with Servant |
0.1.1.3 |
0 | 14 | 0 | 0 | unmaintained | ||
Interoperability with Wai/Warp |
0.2.1.2 |
0 | 19 | 1 | 1 | unmaintained | ||
A bliki written using yesod. Uses pandoc to process files stored in git. |
0.2.2.0 |
0 | 13 | 0 | 0 | unmaintained broken | ||
Write your main like it can call itself back |
0.1.0.0 |
0 | 6 | 0 | 0 | unmaintained | ||
Launches CoreNLP and parses the JSON output |
0.4.0.0 |
0 | 19 | 0 | 0 | unmaintained broken | ||
Types for interaction with CoreNLP |
0.1.0.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
classy optical monadic state |
0.4.0.1 |
0 | 15 | 1 | 1 | unmaintained | ||
0.2.0.1 |
2 | 25 | 0 | 0 | maintained | |||
Bridge between the monad-coroutine and enumerator packages |
0.1.1 |
0 | 8 | 0 | 0 | unmaintained | ||
Bridge between the monad-coroutine and iteratee packages |
0.1.1 |
0 | 8 | 0 | 0 | unmaintained | ||
Object-oriented programming realization using coroutine |
0.3.0 |
0 | 8 | 1 | 2 | unmaintained broken | ||
A CouchDB view server for Haskell |
0.1.6 |
0 | 11 | 0 | 0 | unmaintained broken | ||
A modern, lightweight, complete client for CouchDB |
0.0.1.0 |
0 | 20 | 0 | 0 | unmaintained | ||
Couch DB client library using http-conduit and aeson |
0.10.6 |
0 | 25 | 0 | 0 | unmaintained broken | ||
Couch DB client library using http-enumerator and aeson |
0.3.7 |
0 | 22 | 0 | 0 | unmaintained | ||
Bijective mappings between values and possibly infinite prefixes of [0..] |
0.0.1 |
0 | 6 | 0 | 0 | unmaintained | ||
Countable, Searchable, Finite, Empty classes |
1.2 |
0 | 10 | 1 | 3 | unmaintained | ||
Countable Text Inflections |
0.3.2 |
0 | 10 | 4 | 14 | unmaintained | ||
Solve problems from the number round of the Countdown game show |
0.0.0.1 |
0 | 12 | 0 | 0 | unmaintained | ||
An object frequency counter |
0.1.0.2 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Country data type and functions |
0.2.5.0 |
0 | 22 | 3 | 5 | unmaintained | ||
ISO 3166 country codes and i18n names |
0.1.4 |
0 | 10 | 2 | 4 | unmaintained broken | ||
A message-passing library for simplifying network applications |
0.1.1.5 |
0 | 14 | 1 | 1 | unmaintained broken | ||
Simple and flexible CI system |
0.1.0.1 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Well-conditioned estimation of large-dimensional covariance matrices |
0.2.0.1 |
1 | 12 | 1 | 1 | single | ||
Standalone IR for Cardano scripts |
1.3.0 |
0 | 25 | 0 | 0 | unmaintained broken | ||
Exhaustivity Checking Library |
0.1.0.4 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Coya monoids |
0.1.0.1 |
0 | 10 | 0 | 0 | unmaintained | ||
Haskell bindings to the CozoDB C API |
0.1.0.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
A simple C++ parser with preprocessor features. C++ refactorings included. |
0.1.0.0 |
0 | 10 | 0 | 0 | unmaintained broken | ||
Conduit-based CPIO |
0.7.0 |
0 | 10 | 2 | 3 | unmaintained broken | ||
Build tool for C |
0.2.5.8 |
0 | 30 | 0 | 0 | unmaintained | ||
C++ Foreign Import Generation |
1.0.0.0 |
0 | 7 | 1 | 1 | unmaintained broken | ||
Competitive programming problemsetting toolchain |
0.1.0.0 |
0 | 18 | 0 | 0 | unmaintained broken | ||
Bindings for C++ demangling routines |
0.1.0.0 |
0 | 7 | 0 | 0 | unmaintained | ||
A liberalised re-implementation of cpp, the C pre-processor |
1.20.10 |
0 | 7 | 67 | 427 | unmaintained | ||
Crypto Pseudo Random Number Generator using AES in counter mode |
0.6.1 |
0 | 9 | 10 | 23 | unmaintained | ||
Run random effect using cprng-aes, a crypto pseudo number generator |
0.1.0.2 |
0 | 10 | 0 | 0 | unmaintained | ||
ExceptT replacement in CPS style |
0.0.1.2 |
0 | 7 | 1 | 2 | unmaintained broken | ||
Symbolic cryptographic protocol analyzer |
4.4.8 → 4.4.9 |
0 | 7 | 0 | 0 | unmaintained outdated | ||
Cpu information and properties helpers |
0.1.2 |
0 | 6 | 21 | 41 | unmaintained | ||
A library to detect CPU features |
0.1.0.0 |
0 | 6 | 0 | 0 | unmaintained | ||
Binding for the cpuid machine instruction on x86 compatible processors |
0.2.3.1 |
0 | 8 | 1 | 1 | unmaintained | ||
Haskell Library for Checking CPU Information |
0.1.0.3 |
0 | 7 | 1 | 6 | unmaintained | ||
Modify the cpu frequency on OpenBSD systems |
0.1.1 |
0 | 6 | 0 | 0 | unmaintained broken | ||
Bindings for libpython |
3.9.0 |
1 | 27 | 1 | 1 | single | ||
Cassandra CQL binary protocol |
4.0.4 |
0 | 15 | 2 | 3 | unmaintained | ||
Cassandra CQL client |
1.1.1 |
0 | 28 | 1 | 1 | unmaintained broken | ||
Tinylog integration for cql-io |
0.1.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Cassandra CQL client |
2.0.0 |
0 | 36 | 0 | 0 | unmaintained broken |