Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 0.1% downloads on hackage.haskell.org
Top 0.1% dependent packages on hackage.haskell.org
Top 0.1% dependent repos on hackage.haskell.org
Top 2.7% forks on hackage.haskell.org
Top 1.3% docker downloads on hackage.haskell.org
hackage.haskell.org : vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework . It is structured as follows: There is also a (draft) tutorial on common uses of vector. http://haskell.org/haskellwiki/Numeric_Haskell:_A_Vector_Tutorial
Registry
-
Source
- JSON
purl: pkg:hackage/vector
Keywords: bsd3, data, data-structures, library
License: BSD-3-Clause
Latest release: over 12 years ago
First release: almost 16 years ago
Dependent packages: 576
Dependent repositories: 6,595
Downloads: 418,078 total
Stars: 360 on GitHub
Forks: 136 on GitHub
Docker dependents: 2
Docker downloads: 89
Total Commits: 1112
Committers: 88
Average commits per author: 12.636
Development Distribution Score (DDS): 0.469
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: about 8 hours ago
aeson 2.2.1.0
A JSON parsing and encoding library optimized for ease of use and high performance. To get start...97 versions - Latest release: 8 months ago - 720 dependent packages - 10,280 dependent repositories - 588 thousand downloads total - 1,226 stars on GitHub - 6 maintainers
lens 5.3.2
This package comes "Batteries Included" with many useful lenses for the types commonly used from ...158 versions - Latest release: 9 days ago - 366 dependent packages - 4,552 dependent repositories - 417 thousand downloads total - 1,984 stars on GitHub - 4 maintainers
amazonka-core 1.6.1 π°
A comprehensive Amazon Web Services SDK for Haskell.52 versions - Latest release: over 5 years ago - 342 dependent packages - 141 dependent repositories - 77.2 thousand downloads total - 587 stars on GitHub - 1 maintainer
conduit 1.3.5
conduit is a solution to the streaming data problem, allowing for production, transformation, and...130 versions - Latest release: 12 months ago - 144 dependent packages - 2,350 dependent repositories - 435 thousand downloads total - 883 stars on GitHub - 1 maintainer
yaml 0.10.1
README and API documentation are available at https://www.stackage.org/package/yaml125 versions - Latest release: over 5 years ago - 101 dependent packages - 2,037 dependent repositories - 305 thousand downloads total - 156 stars on GitHub - 1 maintainer
aeson-pretty 0.8.10
A JSON pretty-printing library compatible with aeson as well as a command-line tool to improve re...27 versions - Latest release: 11 months ago - 74 dependent packages - 515 dependent repositories - 107 thousand downloads total - 63 stars on GitHub - 2 maintainers
tls 2.0.5
TLS/SSL implementation in haskell104 versions - Latest release: 29 days ago - 53 dependent packages - 313 dependent repositories - 290 thousand downloads total - 402 stars on GitHub - 3 maintainers
foldl 1.4.16
This library provides strict left folds that stream in constant memory, and you can combine folds...49 versions - Latest release: 3 months ago - 51 dependent packages - 313 dependent repositories - 76.7 thousand downloads total - 1 maintainer
these 1.2.1
An either-or-both data type, with corresponding hybrid error/writer monad transformer.25 versions - Latest release: 5 days ago - 43 dependent packages - 110 dependent repositories - 57.6 thousand downloads total - 115 stars on GitHub - 3 maintainers
persistent 2.10.5
Hackage documentation generation is not reliable. For up to date documentation, please see: http:...187 versions - Latest release: over 4 years ago - 42 dependent packages - 1,605 dependent repositories - 263 thousand downloads total - 7 maintainers
linear 1.21.10
Types and combinators for linear algebra on free vector spaces87 versions - Latest release: almost 2 years ago - 39 dependent packages - 916 dependent repositories - 115 thousand downloads total - 195 stars on GitHub - 4 maintainers
ghcide 1.5.0 π°
A library for building Haskell IDE's on top of the GHC API.53 versions - Latest release: over 2 years ago - 38 dependent packages - 15 dependent repositories - 21.9 thousand downloads total - 2,565 stars on GitHub - 8 maintainers
vty 5.35.1
vty is terminal GUI library in the niche of ncurses. It is intended to be easy to use and to prov...111 versions - Latest release: about 2 years ago - 37 dependent packages - 219 dependent repositories - 111 thousand downloads total - 321 stars on GitHub - 2 maintainers
lens-aeson 1.2.3
Law-abiding lenses for aeson.20 versions - Latest release: 11 months ago - 37 dependent packages - 454 dependent repositories - 47.1 thousand downloads total - 48 stars on GitHub - 3 maintainers
resource-pool 0.4.0.0
A high-performance striped pooling abstraction for managing flexibly-sized collections of resourc...16 versions - Latest release: over 1 year ago - 33 dependent packages - 445 dependent repositories - 91.3 thousand downloads total - 5 maintainers
byteslice 0.2.13.2
This library provides types that allow the user to talk about a slice of a ByteArray or a Mutable...24 versions - Latest release: 3 months ago - 33 dependent packages - 3 dependent repositories - 9.12 thousand downloads total - 12 stars on GitHub - 3 maintainers
mono-traversable 1.0.2
Please see the README at https://www.stackage.org/package/mono-traversable60 versions - Latest release: about 7 years ago - 30 dependent packages - 230 dependent repositories - 123 thousand downloads total - 150 stars on GitHub - 3 maintainers
dhall 1.42.1
67 versions - Latest release: 7 months ago - 27 dependent packages - 70 dependent repositories - 69.2 thousand downloads total - 2 maintainersquickcheck-instances 0.3.31
Instances for QuickCheck classes39 versions - Latest release: 5 days ago - 26 dependent packages - 444 dependent repositories - 78.2 thousand downloads total - 13 stars on GitHub - 2 maintainers
cassava 0.5.3.1
cassava is a library for parsing and encoding RFC 4180 compliant comma-separated values (CSV) dat...26 versions - Latest release: 28 days ago - 25 dependent packages - 451 dependent repositories - 74.4 thousand downloads total - 219 stars on GitHub - 4 maintainers
hashtables 1.3.1
This package provides a couple of different implementations of mutable hash tables in the ST mona...32 versions - Latest release: over 1 year ago - 25 dependent packages - 279 dependent repositories - 99.7 thousand downloads total - 125 stars on GitHub - 3 maintainers
attoparsec-aeson 2.2.0.1
A fast Haskell JSON library4 versions - Latest release: 7 months ago - 24 dependent packages - 2 dependent repositories - 2.32 thousand downloads total - 1,226 stars on GitHub - 1 maintainer
hs-opentelemetry-api 0.1.0.0 π°
Please see the README on GitHub at https://github.com/iand675/hs-opentelemetry/tree/main/api#readme12 versions - Latest release: 9 months ago - 24 dependent packages - 4 dependent repositories - 1.07 thousand downloads total - 61 stars on GitHub - 1 maintainer
postgresql-simple 0.6.5
73 versions - Latest release: over 1 year ago - 23 dependent packages - 924 dependent repositories - 101 thousand downloads total - 2 maintainersyesod-core 1.6.23
API docs and the README are available at http://www.stackage.org/package/yesod-core216 versions - Latest release: about 2 years ago - 23 dependent packages - 1,191 dependent repositories - 220 thousand downloads total - 7 maintainers
brick 2.3.1
Write terminal user interfaces (TUIs) painlessly with brick! You write an event handler and a dra...139 versions - Latest release: 5 months ago - 22 dependent packages - 154 dependent repositories - 110 thousand downloads total - 1,565 stars on GitHub - 1 maintainer
hasql 1.6.4
Root of the "hasql" ecosystem. This library provides connection management, execution of queries ...106 versions - Latest release: 4 months ago - 22 dependent packages - 230 dependent repositories - 62.2 thousand downloads total - 507 stars on GitHub - 1 maintainer
semialign 1.3.1
An either-or-both data type, with corresponding hybrid error/writer monad transformer.7 versions - Latest release: 5 days ago - 21 dependent packages - 48 dependent repositories - 28.2 thousand downloads total - 115 stars on GitHub - 1 maintainer
shakespeare 2.1.0
75 versions - Latest release: about 1 year ago - 18 dependent packages - 527 dependent repositories - 127 thousand downloads total - 4 maintainerscriterion 0.4.0
This library provides a powerful but simple way to measure software performance. It provides bot...67 versions - Latest release: over 14 years ago - 18 dependent packages - 2,126 dependent repositories - 120 thousand downloads total - 3 maintainers
statistics 0.4.1
This library provides a number of common functions and types useful in statistics. We focus on h...66 versions - Latest release: over 14 years ago - 18 dependent packages - 303 dependent repositories - 116 thousand downloads total - 297 stars on GitHub - 2 maintainers
swagger2 2.8.8
This library is intended to be used for decoding and encoding Swagger 2.0 API specifications as w...42 versions - Latest release: 4 months ago - 17 dependent packages - 215 dependent repositories - 42.4 thousand downloads total - 72 stars on GitHub - 4 maintainers
serialise 0.2.6.1
Binary serialisation in the CBOR format9 versions - Latest release: 6 months ago - 17 dependent packages - 176 dependent repositories - 28.2 thousand downloads total - 185 stars on GitHub - 3 maintainers
inline-c 0.9.1.10
See https://github.com/fpco/inline-c/blob/master/README.md.49 versions - Latest release: 8 months ago - 16 dependent packages - 74 dependent repositories - 36.3 thousand downloads total - 3 maintainers
openapi3 3.2.4
This library is intended to be used for decoding and encoding OpenAPI 3.0 API specifications as w...10 versions - Latest release: 6 months ago - 16 dependent packages - 57 dependent repositories - 8.79 thousand downloads total - 39 stars on GitHub - 1 maintainer
proto-lens 0.7.1.5
API for protocol buffers using modern Haskell language and library patterns.26 versions - Latest release: about 1 month ago - 14 dependent packages - 53 dependent repositories - 18.8 thousand downloads total - 446 stars on GitHub - 3 maintainers
katip 0.8.8.0
Katip is a structured logging framework. See README.md for more details.42 versions - Latest release: 6 months ago - 14 dependent packages - 212 dependent repositories - 43.5 thousand downloads total - 201 stars on GitHub - 1 maintainer
sydtest 0.15.1.1 π°
A modern testing framework for Haskell with good defaults and advanced testing features.33 versions - Latest release: 8 months ago - 14 dependent packages - 27 dependent repositories - 3.96 thousand downloads total - 107 stars on GitHub - 1 maintainer
math-functions 0.3.4.4
This library contain collection of various utilities for numerical computing. So far there're spe...26 versions - Latest release: about 2 months ago - 14 dependent packages - 186 dependent repositories - 92.3 thousand downloads total - 40 stars on GitHub - 2 maintainers
matrix 0.2.2
Matrix library. Basic operations and some algorithms. . Usage examples are included in the API re...22 versions - Latest release: over 10 years ago - 14 dependent packages - 254 dependent repositories - 30.8 thousand downloads total - 1 maintainer
ghcjs-base 0.8.0.1
base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries...7 versions - Latest release: 12 days ago - 14 dependent packages - 267 dependent repositories - 1.76 thousand downloads total - 45 stars on GitHub - 2 maintainers
classy-prelude 1.5.0
See docs and README at http://www.stackage.org/package/classy-prelude71 versions - Latest release: over 5 years ago - 14 dependent packages - 351 dependent repositories - 80.5 thousand downloads total - 150 stars on GitHub - 2 maintainers
Chart 1.9.5
A 2D charting library for haskell45 versions - Latest release: 7 months ago - 14 dependent packages - 262 dependent repositories - 56.5 thousand downloads total - 423 stars on GitHub - 2 maintainers
microlens-platform 0.4.2
A lightweight (but compatible with βlensβ) lenses library37 versions - Latest release: over 3 years ago - 13 dependent packages - 91 dependent repositories - 38.2 thousand downloads total - 284 stars on GitHub - 2 maintainers
monoid-subclasses 1.2.5
A hierarchy of subclasses of Monoid together with their instances for all data structures from ba...45 versions - Latest release: about 1 month ago - 13 dependent packages - 152 dependent repositories - 45.2 thousand downloads total - 31 stars on GitHub - 1 maintainer
numhask 0.6.0
This package provides alternative numeric classes over Prelude. The numeric class constellation ...41 versions - Latest release: almost 4 years ago - 13 dependent packages - 15 dependent repositories - 15.5 thousand downloads total - 67 stars on GitHub - 1 maintainer
snap-core 0.9.3
Snap is a simple and fast web development framework and server written in Haskell. For more infor...78 versions - Latest release: over 11 years ago - 12 dependent packages - 592 dependent repositories - 126 thousand downloads total - 4 maintainers
chronos 1.1.5
Chronos is a performance-oriented time library for Haskell, with a straightforward API. The main ...23 versions - Latest release: over 1 year ago - 12 dependent packages - 17 dependent repositories - 13.7 thousand downloads total - 54 stars on GitHub - 3 maintainers
jsaddle 0.9.9.0
50 versions - Latest release: about 1 month ago - 12 dependent packages - 169 dependent repositories - 35 thousand downloads total - 1 maintainerhttp2 5.2.1
HTTP/2.0 library including HPACK69 versions - Latest release: 24 days ago - 12 dependent packages - 64 dependent repositories - 124 thousand downloads total - 77 stars on GitHub - 1 maintainer
vector-sized 1.6.1
Please see README.md29 versions - Latest release: 3 months ago - 11 dependent packages - 56 dependent repositories - 23.9 thousand downloads total - 31 stars on GitHub - 4 maintainers
diagrams-cairo 1.4.2
A full-featured backend for rendering diagrams using the cairo rendering engine. This ultimately...41 versions - Latest release: over 2 years ago - 11 dependent packages - 177 dependent repositories - 39.6 thousand downloads total - 5 maintainers
parameterized-utils 2.1.1
A set of utilities for using indexed types including containers, equality, and comparison.14 versions - Latest release: almost 4 years ago - 11 dependent packages - 30 dependent repositories - 10.5 thousand downloads total - 57 stars on GitHub - 4 maintainers
jose 0.8.5
Implementation of JSON Object Signing and Encryption (JOSE) and JSON Web Token (JWT; RFC 7519). ...40 versions - Latest release: over 2 years ago - 11 dependent packages - 80 dependent repositories - 34.8 thousand downloads total - 122 stars on GitHub - 1 maintainer
dbus 1.3.5
A client library for the D-Bus IPC system.56 versions - Latest release: 15 days ago - 11 dependent packages - 86 dependent repositories - 48.5 thousand downloads total - 40 stars on GitHub - 2 maintainers
liquidhaskell 0.8.10.7.1
Liquid Types for Haskell.36 versions - Latest release: about 2 months ago - 10 dependent packages - 21 dependent repositories - 23.9 thousand downloads total - 1,153 stars on GitHub - 7 maintainers
hedis 0.15.2
A Redis client library for Haskell.82 versions - Latest release: about 1 year ago - 10 dependent packages - 178 dependent repositories - 71.4 thousand downloads total - 325 stars on GitHub - 4 maintainers
sdl2 2.4.0
33 versions - Latest release: about 6 years ago - 10 dependent packages - 229 dependent repositories - 28.3 thousand downloads total - 4 maintainersvector-instances 3.4.2
Orphan Instances for Data.Vector.21 versions - Latest release: about 1 year ago - 10 dependent packages - 171 dependent repositories - 36.8 thousand downloads total - 9 stars on GitHub - 2 maintainers
what4 1.5.1
What4 is a generic library for representing values as symbolic formulae which may contain referen...8 versions - Latest release: 7 months ago - 9 dependent packages - 18 dependent repositories - 3.84 thousand downloads total - 146 stars on GitHub - 3 maintainers
snap-server 0.9.3
Snap is a simple and fast web development framework and server written in Haskell. For more infor...94 versions - Latest release: over 11 years ago - 9 dependent packages - 519 dependent repositories - 134 thousand downloads total - 4 maintainers
ip 1.7.8
The ip package provides types and functions for dealing with IPv4 addresses, CIDR blocks, and MAC...43 versions - Latest release: 3 months ago - 9 dependent packages - 16 dependent repositories - 28.6 thousand downloads total - 20 stars on GitHub - 3 maintainers
deferred-folds 0.9.18
Abstractions over deferred folds59 versions - Latest release: over 2 years ago - 9 dependent packages - 13 dependent repositories - 38.6 thousand downloads total - 8 stars on GitHub - 1 maintainer
random-fu 0.1.4
A suite of Haskell libraries for representing, manipulating, and sampling random variables27 versions - Latest release: almost 13 years ago - 9 dependent packages - 207 dependent repositories - 26.6 thousand downloads total - 42 stars on GitHub - 3 maintainers
text-zipper 0.10.1
A text editor zipper libary22 versions - Latest release: over 6 years ago - 8 dependent packages - 46 dependent repositories - 28 thousand downloads total - 18 stars on GitHub - 1 maintainer
universum 1.8.2
See README.md file for more details.45 versions - Latest release: 11 months ago - 8 dependent packages - 74 dependent repositories - 23.3 thousand downloads total - 171 stars on GitHub - 4 maintainers
vulkan 3.26.1
Please see the readme92 versions - Latest release: 7 months ago - 8 dependent packages - 23 dependent repositories - 35.4 thousand downloads total - 139 stars on GitHub - 5 maintainers
autodocodec 0.2.2.0 π°
self(auto)- documenting encoders and decoders16 versions - Latest release: 6 months ago - 8 dependent packages - 17 dependent repositories - 2.1 thousand downloads total - 114 stars on GitHub - 1 maintainer
blaze-textual 0.2.3
A library for efficiently rendering Haskell datatypes to bytestrings. Note: if you use GHCi or T...16 versions - Latest release: about 1 year ago - 7 dependent packages - 175 dependent repositories - 50.7 thousand downloads total - 10 stars on GitHub - 2 maintainers
aivika 6.0.0
51 versions - Latest release: 7 months ago - 7 dependent packages - 4 dependent repositories - 40.4 thousand downloads total - 1 maintainerListLike 4.7.8
Generalized support for list-like structures in Haskell. The ListLike module provides a common i...38 versions - Latest release: over 1 year ago - 7 dependent packages - 158 dependent repositories - 78.2 thousand downloads total - 4 stars on GitHub - 4 maintainers
morpheus-graphql-core 0.27.3
Build GraphQL APIs with your favorite functional language!29 versions - Latest release: about 1 year ago - 7 dependent packages - 5 dependent repositories - 4.24 thousand downloads total - 1 maintainer
clash-prelude 1.8.1
Clash is a functional hardware description language that borrows both its syntax and semantics fr...66 versions - Latest release: 6 months ago - 7 dependent packages - 52 dependent repositories - 48 thousand downloads total - 2 maintainers
mustache 2.4.2
Allows parsing and rendering template files with mustache markup. See the mustache language refer...29 versions - Latest release: about 1 year ago - 7 dependent packages - 52 dependent repositories - 29.2 thousand downloads total - 99 stars on GitHub - 1 maintainer
Frames 0.7.4
User-friendly, type safe, runtime efficient tooling for working with tabular data deserialized fr...31 versions - Latest release: 7 months ago - 7 dependent packages - 31 dependent repositories - 19.3 thousand downloads total - 1 maintainer
jose-jwt 0.10.0
An implementation of the JOSE suite of IETF standards and the closely related JWT (JSON web token...30 versions - Latest release: 3 months ago - 7 dependent packages - 111 dependent repositories - 23.9 thousand downloads total - 34 stars on GitHub - 1 maintainer
hw-prim 0.6.3.2 π°
Primitive functions and data types.86 versions - Latest release: over 1 year ago - 7 dependent packages - 21 dependent repositories - 54.7 thousand downloads total - 5 stars on GitHub - 3 maintainers
hoogle 5.0.18
Hoogle is a Haskell API search engine, which allows you to search many standard Haskell libraries...96 versions - Latest release: almost 4 years ago - 6 dependent packages - 156 dependent repositories - 117 thousand downloads total - 1 maintainer
hlint 3.6.1
HLint gives suggestions on how to improve your source code.222 versions - Latest release: 11 months ago - 6 dependent packages - 269 dependent repositories - 316 thousand downloads total - 1,429 stars on GitHub - 1 maintainer
proto-lens-runtime 0.7.0.6
API for protocol buffers using modern Haskell language and library patterns.12 versions - Latest release: about 1 month ago - 6 dependent packages - 32 dependent repositories - 8.71 thousand downloads total - 446 stars on GitHub - 3 maintainers
Agda 2.6.4
Agda is a dependently typed functional programming language: It has inductive families, which are...42 versions - Latest release: 8 months ago - 6 dependent packages - 61 dependent repositories - 60.6 thousand downloads total - 4 maintainers
massiv 1.0.4.0
Multi-dimensional Arrays with fusion, stencils and parallel computation.54 versions - Latest release: about 1 year ago - 6 dependent packages - 27 dependent repositories - 31 thousand downloads total - 379 stars on GitHub - 1 maintainer
elynx-tools 0.5.0
Please see the README on GitHub at https://github.com/dschrempf/elynx.24 versions - Latest release: over 3 years ago - 6 dependent packages - 7 dependent repositories - 4.44 thousand downloads total - 9 stars on GitHub - 1 maintainer
nonempty-containers 0.3.4.5 π°
Efficient and optimized non-empty versions of types from containers. Inspired by non-empty-contai...13 versions - Latest release: 6 months ago - 6 dependent packages - 25 dependent repositories - 14.6 thousand downloads total - 24 stars on GitHub - 1 maintainer
stache 2.3.4
Mustache templates for Haskell.29 versions - Latest release: 11 months ago - 6 dependent packages - 34 dependent repositories - 20.3 thousand downloads total - 27 stars on GitHub - 5 maintainers
webdriver 0.8.5
A Selenium WebDriver client for Haskell. You can use it to automate browser sessions for testing,...48 versions - Latest release: about 7 years ago - 6 dependent packages - 153 dependent repositories - 32.3 thousand downloads total - 187 stars on GitHub - 3 maintainers
doctemplates 0.8.3 π°
This is the text templating system used by pandoc. It supports variable interpolation, iteration,...25 versions - Latest release: over 3 years ago - 6 dependent packages - 77 dependent repositories - 54.6 thousand downloads total - 49 stars on GitHub - 1 maintainer
clash-lib 1.8.1
Clash is a functional hardware description language that borrows both its syntax and semantics fr...81 versions - Latest release: 6 months ago - 6 dependent packages - 46 dependent repositories - 58.4 thousand downloads total - 2 maintainers
arithmoi 0.13.0.0
Number theory: primes, arithmetic functions, modular computations, special sequences37 versions - Latest release: 10 months ago - 6 dependent packages - 158 dependent repositories - 41.2 thousand downloads total - 144 stars on GitHub - 4 maintainers
sandwich 0.2.2.0
Yet another test framework for Haskell.26 versions - Latest release: 5 months ago - 6 dependent packages - 9 dependent repositories - 2.65 thousand downloads total - 69 stars on GitHub - 1 maintainer
vector-builder 0.3.8
Vector builder21 versions - Latest release: over 4 years ago - 6 dependent packages - 17 dependent repositories - 22.5 thousand downloads total - 15 stars on GitHub - 1 maintainer
hs-opentelemetry-sdk 0.0.3.6 π°
Please see the README on GitHub at https://github.com/iand675/hs-opentelemetry/tree/main/sdk#readme9 versions - Latest release: 9 months ago - 6 dependent packages - 3 dependent repositories - 932 downloads total - 61 stars on GitHub - 1 maintainer
aivika-transformers 6.0.0
26 versions - Latest release: 7 months ago - 5 dependent packages - 18.4 thousand downloads total - 1 maintainerhpack 0.36.0
hpack: A modern format for Haskell packages81 versions - Latest release: 8 months ago - 5 dependent packages - 36 dependent repositories - 74 thousand downloads total - 610 stars on GitHub - 3 maintainers
hnix 0.17.0
Haskell implementation of the Nix language.37 versions - Latest release: 6 months ago - 5 dependent packages - 19 dependent repositories - 16.3 thousand downloads total - 728 stars on GitHub - 3 maintainers
mod 0.2.0.1
Modular arithmetic, promoting moduli to the type level, with an emphasis on performance. Original...8 versions - Latest release: over 1 year ago - 5 dependent packages - 17 dependent repositories - 7.1 thousand downloads total - 24 stars on GitHub - 1 maintainer
tree-diff 0.2.2
Common diff algorithm works on list structures: This package works on trees. This package also ...12 versions - Latest release: over 1 year ago - 5 dependent packages - 33 dependent repositories - 25.5 thousand downloads total - 73 stars on GitHub - 1 maintainer
liquid-fixpoint 8.10.7
This package implements an SMTLIB based Horn-Clause/Logical Implication constraint solver used fo...29 versions - Latest release: over 2 years ago - 5 dependent packages - 11 dependent repositories - 19.5 thousand downloads total - 128 stars on GitHub - 7 maintainers
hpqtypes 1.5.1
Efficient and easy-to-use bindings to (slightly modified) libpqtypes, a libpq extension that adds...40 versions - Latest release: almost 8 years ago - 5 dependent packages - 20 dependent repositories - 21.4 thousand downloads total - 18 stars on GitHub - 5 maintainers