Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 1.7% on hackage.haskell.org
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 5.1% forks on hackage.haskell.org
Top 1.3% docker downloads on hackage.haskell.org
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 5.1% forks on hackage.haskell.org
Top 1.3% docker downloads on hackage.haskell.org
hackage.haskell.org : mtl
MTL is a collection of monad classes, extending the transformers package, using functional dependencies for generic lifting of monadic actions.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/mtl
Keywords: bsd3, control, library, haskell, monad, monad-transformers
License: BSD-3-Clause
Latest release: over 1 year ago
First release: over 17 years ago
Dependent packages: 1,015
Dependent repositories: 13,271
Downloads: 488,681 total
Stars: 353 on GitHub
Forks: 64 on GitHub
Docker dependents: 2
Docker downloads: 89
Total Commits: 154
Committers: 38
Average commits per author: 4.053
Development Distribution Score (DDS): 0.753
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: about 20 hours ago
hasql-transaction-io 0.2.7.0
Perform IO actions during transactions for Hasql9 versions - Latest release: 2 months ago - 442 downloads total - 0 stars on GitHub - 1 maintainer
haskoin-store-data 1.4.0
Haskoin Store is a blockchain storage service with a RESTful API137 versions - Latest release: 2 months ago - 1 dependent package - 3 dependent repositories - 59 thousand downloads total - 26 stars on GitHub - 1 maintainer
th-deepstrict 0.1.1.0
A library for checking that datatypes are deep strict using Template Haskell. Deep strictness is ...2 versions - Latest release: 3 months ago - 45 downloads total - 1 maintainer
gibberish 3.0.0.0
Generates pronounceable passwords that are easy-to-remember and hard-to-guess.1 version - Latest release: 3 months ago - 1 dependent package - 20 downloads total - 13 stars on GitHub - 1 maintainer
network-transport-tests 0.3.2
11 versions - Latest release: 3 months ago - 120 dependent repositories - 6.35 thousand downloads total - 7 maintainersdistributed-process-async 0.2.7
Cloud Haskell - Asynchronous Execution9 versions - Latest release: 3 months ago - 1 dependent package - 96 dependent repositories - 6.5 thousand downloads total - 17 stars on GitHub - 5 maintainers
quickcheck-lockstep 0.5.0
Lockstep-style testing is a particular approach for blackbox testing of stateful APIs: we generat...7 versions - Latest release: 3 months ago - 1 dependent repositories - 402 downloads total - 2 maintainers
MicroHs 0.9.8.0
A compiler for an extended subset of Haskell-2010. The compiler translates to combinators and can...13 versions - Latest release: 3 months ago - 239 downloads total - 1 maintainer
darcs 2.18.2
Darcs is a free, open source revision control system. It is: Distributed: Darcs was one of the f...45 versions - Latest release: 3 months ago - 1 dependent package - 15 dependent repositories - 51.4 thousand downloads total - 2 maintainers
sbvPlugin 9.8.2
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV pack...19 versions - Latest release: 3 months ago - 1 dependent repositories - 6.17 thousand downloads total - 44 stars on GitHub - 1 maintainer
rdf4h 5.1.0
rdf4h is a library for working with RDF in Haskell33 versions - Latest release: 3 months ago - 3 dependent packages - 10 dependent repositories - 20.8 thousand downloads total - 76 stars on GitHub - 1 maintainer
g2 0.2.0.0
A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G23 versions - Latest release: 3 months ago - 1 dependent package - 2 dependent repositories - 892 downloads total - 1 maintainer
quickcheck-dynamic 3.4.1
Please see the README on GitHub at https://github.com/input-output-hk/quickcheck-dynamic#readme14 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 1.06 thousand downloads total - 23 stars on GitHub - 1 maintainer
ogma-core 1.3.0
10 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 284 downloads total - 1 maintainermusicScroll 0.3.4
Automatically retrive the lyrics of of your current song on SMPlayer/VLC and update it on each ch...15 versions - Latest release: 3 months ago - 1 dependent package - 3.2 thousand downloads total - 0 stars on GitHub - 1 maintainer
kafka-interchange 0.2.0.0
[Index] [Quick Jump] Package maintainers For package maintainers and hackage trustees Candid...1 version - Latest release: 3 months ago - 21 downloads total - 1 maintainer
cabal-install-solver 3.10.3.0
4 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 3.27 thousand downloads total - 2 maintainers
Top 7.7% on hackage.haskell.org
19 versions - Latest release: 3 months ago - 4 dependent packages - 230 dependent repositories - 13.5 thousand downloads total - 55 stars on GitHub - 1 maintainer
unbound-generics 0.4.4
Specify the binding structure of your data type with an expressive set of type combinators, and u...19 versions - Latest release: 3 months ago - 4 dependent packages - 230 dependent repositories - 13.5 thousand downloads total - 55 stars on GitHub - 1 maintainer
op2 0.0.3
3 versions - Latest release: 3 months ago - 55 downloads total - 1 maintainer
Top 6.4% on hackage.haskell.org
44 versions - Latest release: 3 months ago - 4 dependent packages - 21 dependent repositories - 26.8 thousand downloads total - 381 stars on GitHub - 3 maintainers
apecs 0.9.6
apecs is a fast, type-driven Entity-Component-System library for game programming.44 versions - Latest release: 3 months ago - 4 dependent packages - 21 dependent repositories - 26.8 thousand downloads total - 381 stars on GitHub - 3 maintainers
geniplate-mirror 0.7.10
Use TH to generate uniplate-like functions.13 versions - Latest release: 3 months ago - 1 dependent package - 36 dependent repositories - 23.8 thousand downloads total - 5 stars on GitHub - 1 maintainer
Top 5.4% on hackage.haskell.org
lens-family 2.1.3
15 versions - Latest release: 3 months ago - 10 dependent packages - 68 dependent repositories - 24.7 thousand downloads total - 1 maintainerlaunchdarkly-server-sdk 4.1.0
Please see the README on GitHub at https://github.com/launchdarkly/haskell-server-sdk#readme24 versions - Latest release: 3 months ago - 1 dependent package - 2.98 thousand downloads total - 13 stars on GitHub - 1 maintainer
helf 1.0.20240318
HELF = Haskell implementation of the Edinburgh Logical Framework HELF implements only a subset o...4 versions - Latest release: 3 months ago - 1.4 thousand downloads total - 1 maintainer
graph-rewriting-ww 0.3.8
11 versions - Latest release: 3 months ago - 7.88 thousand downloads total - 0 stars on GitHub - 1 maintainergraph-rewriting-lambdascope 0.5.11
20 versions - Latest release: 3 months ago - 14.3 thousand downloads total - 1 maintainerwebgear-server 1.2.0
WebGear is a library to for building composable, type-safe HTTP API servers. WebGear focuses on g...12 versions - Latest release: 3 months ago - 9 dependent repositories - 862 downloads total - 27 stars on GitHub - 1 maintainer
reflex-localize 1.2.0.0
Library provides helpers for dynamic strings that depends on current selected language. See also ...5 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 560 downloads total - 36 stars on GitHub - 1 maintainer
looksee 0.6.0
Please see the README on GitHub at https://github.com/ejconlon/looksee#readme9 versions - Latest release: 3 months ago - 1 dependent package - 241 downloads total - 1 stars on GitHub - 1 maintainer
obdd 0.9.0
pure Haskell implementation of reduced ordered binary decision diagrams15 versions - Latest release: 3 months ago - 2 dependent repositories - 10.3 thousand downloads total - 11 stars on GitHub - 1 maintainer
openai-servant-gen 0.1.0.1
This repository provides openai APIs of haskell via openapi-generator. It's just generating. It's...2 versions - Latest release: 3 months ago - 1 dependent package - 52 downloads total - 2 stars on GitHub - 1 maintainer
haskoin-node 1.1.0
Please see the README on GitHub at https://github.com/haskoin/haskoin-node#readme68 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 28.3 thousand downloads total - 520 stars on GitHub - 2 maintainers
json-rpc 1.1.1
Please see the README on GitHub at https://github.com/jprupp/json-rpc#readme37 versions - Latest release: 3 months ago - 1 dependent package - 4 dependent repositories - 22.8 thousand downloads total - 32 stars on GitHub - 1 maintainer
Top 6.3% on hackage.haskell.org
63 versions - Latest release: 3 months ago - 4 dependent packages - 17 dependent repositories - 25.2 thousand downloads total - 520 stars on GitHub - 2 maintainers
haskoin-core 1.1.0
Please see the README on GitHub at https://github.com/haskoin/haskoin-core#readme63 versions - Latest release: 3 months ago - 4 dependent packages - 17 dependent repositories - 25.2 thousand downloads total - 520 stars on GitHub - 2 maintainers
secp256k1-haskell 1.2.0
Haskell bindings for secp256k1 library26 versions - Latest release: 3 months ago - 1 dependent package - 16 dependent repositories - 10.3 thousand downloads total - 23 stars on GitHub - 1 maintainer
ghcup 0.1.22.0
A rewrite of the shell script ghcup, for providing a more stable user experience and exposing an ...17 versions - Latest release: 3 months ago - 1 dependent package - 2.07 thousand downloads total - 253 stars on GitHub - 3 maintainers
hscim 0.4.0
The README file will answer all the questions you might have6 versions - Latest release: 3 months ago - 2 dependent packages - 2 dependent repositories - 332 downloads total - 2,582 stars on GitHub - 1 maintainer
copilot-verifier 3.19
copilot-verifier is an add-on to the Copilot Stream DSL for verifying the correctness of C code g...2 versions - Latest release: 3 months ago - 1 dependent package - 46 downloads total - 3 maintainers
reflex-gi-gtk 0.2.0.1
This package provides a a reflex host and helper functions to create reactive GUI applications us...3 versions - Latest release: 3 months ago - 1 dependent package - 2 dependent repositories - 360 downloads total - 2 stars on GitLab.com - 1 maintainer
fuzzyset 0.3.2
Please see the README on GitHub at https://github.com/laserpants/fuzzyset-haskell#readme18 versions - Latest release: 3 months ago - 1 dependent package - 14 dependent repositories - 7.72 thousand downloads total - 9 stars on GitHub - 1 maintainer
sqids 0.2.2.0
Sqids (pronounced "squids") is an open-source library that lets you generate YouTube-looking IDs ...9 versions - Latest release: 3 months ago - 1 dependent repositories - 310 downloads total - 1 maintainer
Top 3.9% on hackage.haskell.org
25 versions - Latest release: 3 months ago - 3 dependent packages - 53 dependent repositories - 48.3 thousand downloads total - 2 maintainers
ShellCheck 0.10.0
The goals of ShellCheck are: To point out and clarify typical beginner's syntax issues, that cau...25 versions - Latest release: 3 months ago - 3 dependent packages - 53 dependent repositories - 48.3 thousand downloads total - 2 maintainers
hoauth2-providers 0.7.1
Haskell oauth2 binding9 versions - Latest release: 3 months ago - 2 dependent packages - 230 downloads total - 132 stars on GitHub - 1 maintainer
Top 4.1% on hackage.haskell.org
87 versions - Latest release: 3 months ago - 11 dependent packages - 158 dependent repositories - 53 thousand downloads total - 130 stars on GitHub - 1 maintainer
hoauth2 2.13.1
Haskell oauth2 binding87 versions - Latest release: 3 months ago - 11 dependent packages - 158 dependent repositories - 53 thousand downloads total - 130 stars on GitHub - 1 maintainer
cimple 0.0.21
21 versions - Latest release: 3 months ago - 2 dependent packages - 2 dependent repositories - 1.62 thousand downloads total - 1 maintainer
Top 5.8% on hackage.haskell.org
71 versions - Latest release: 3 months ago - 1 dependent package - 136 dependent repositories - 55.4 thousand downloads total - 4 maintainers
keter 2.1.5
Deployment system for web applications, originally intended for hosting Yesod applications. It bi...71 versions - Latest release: 3 months ago - 1 dependent package - 136 dependent repositories - 55.4 thousand downloads total - 4 maintainers
monad-bayes 1.3.0
A library for probabilistic programming using probability monads. The emphasis is on composition ...8 versions - Latest release: 3 months ago - 2 dependent packages - 5 dependent repositories - 1.29 thousand downloads total - 394 stars on GitHub - 2 maintainers
yesod-session-persist 0.0.0.2
Use Persistent to store Yesod sessions3 versions - Latest release: 3 months ago - 1 dependent package - 80 downloads total - 1 stars on GitHub - 5 maintainers
Top 7.3% on hackage.haskell.org
30 versions - Latest release: 3 months ago - 7 dependent packages - 111 dependent repositories - 24.1 thousand downloads total - 34 stars on GitHub - 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 - 24.1 thousand downloads total - 34 stars on GitHub - 1 maintainer
nix-diff 1.0.20 💰
This package provides a nix-diff executable which explains why two Nix derivations (i.e. *.drv fi...21 versions - Latest release: 3 months ago - 1 dependent package - 7.1 thousand downloads total - 319 stars on GitHub - 1 maintainer
verset 0.0.1.9
Small Haskell alternative prelude. Based on Protolude and Intro5 versions - Latest release: 3 months ago - 1 dependent package - 321 downloads total - 0 stars on GitHub - 1 maintainer
rds-data-codecs 0.0.0.3
Codecs for use with AWS rds-data.3 versions - Latest release: 3 months ago - 1 dependent package - 100 downloads total - 0 stars on GitHub - 1 maintainer
jukebox 0.5.5
47 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 27.4 thousand downloads total - 1 maintainer
Top 7.7% on hackage.haskell.org
52 versions - Latest release: 3 months ago - 1 dependent package - 13 dependent repositories - 25.2 thousand downloads total - 2,341 stars on GitHub - 1 maintainer
patat 0.12.0.0
Terminal-based presentations using Pandoc.52 versions - Latest release: 3 months ago - 1 dependent package - 13 dependent repositories - 25.2 thousand downloads total - 2,341 stars on GitHub - 1 maintainer
hevm 0.53.0
symbolic EVM evaluator24 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 4.17 thousand downloads total - 217 stars on GitHub - 3 maintainers
Top 6.9% on hackage.haskell.org
event-list 0.1.3
20 versions - Latest release: 3 months ago - 10 dependent packages - 29 dependent repositories - 17.7 thousand downloads total - 1 maintainerbreakpoint 0.1.3.1
A plugin that allows you to set breakpoints for debugging purposes.9 versions - Latest release: 3 months ago - 4 dependent packages - 3 dependent repositories - 879 downloads total - 1 maintainer
haskell-ci 0.18.1
21 versions - Latest release: 4 months ago - 1 dependent package - 5.52 thousand downloads total - 2 maintainerszephyr-copilot 1.0.9
zephyr-copilot contains allows using Haskell to program many boards supported by the Zephyr proje...10 versions - Latest release: 4 months ago - 511 downloads total - 1 maintainer
arduino-copilot 1.7.8
arduino-copilot contains the basic building blocks to program your Arduino Nano, Arduino Uno or c...25 versions - Latest release: 4 months ago - 4.59 thousand downloads total - 1 maintainer
sketch-frp-copilot 1.0.10
11 versions - Latest release: 4 months ago - 2 dependent packages - 555 downloads total - 1 maintaineraws-lambda-haskell-runtime 4.3.2
Please see the README on GitHub at https://github.com/theam/aws-lambda-haskell-runtime#readme27 versions - Latest release: 4 months ago - 2 dependent packages - 8 dependent repositories - 9.44 thousand downloads total - 269 stars on GitHub - 2 maintainers
proto3-suite 0.7.0
9 versions - Latest release: 4 months ago - 1 dependent package - 7 dependent repositories - 3.65 thousand downloads total - 5 maintainers
Top 8.6% on hackage.haskell.org
23 versions - Latest release: 4 months ago - 4 dependent packages - 10 dependent repositories - 15.3 thousand downloads total - 334 stars on GitHub - 3 maintainers
fourmolu 0.15.0.0
A formatter for Haskell source code.23 versions - Latest release: 4 months ago - 4 dependent packages - 10 dependent repositories - 15.3 thousand downloads total - 334 stars on GitHub - 3 maintainers
jsonrpc-conduit 0.4.1
23 versions - Latest release: 4 months ago - 1 dependent repositories - 8.8 thousand downloads total - 1 maintainer
Top 10.0% on hackage.haskell.org
8 versions - Latest release: 4 months ago - 3 dependent packages - 44 dependent repositories - 26.6 thousand downloads total - 21 stars on GitHub - 1 maintainer
hfsevents 0.1.7
Haskell bindings for the OS X FSEvents API - Event based filesystem monitoring8 versions - Latest release: 4 months ago - 3 dependent packages - 44 dependent repositories - 26.6 thousand downloads total - 21 stars on GitHub - 1 maintainer
om-legion 6.9.0.6
Framework for managing shared, replicated state across a number of homogeneous nodes.4 versions - Latest release: 4 months ago - 1 dependent package - 123 downloads total - 4 stars on GitHub - 1 maintainer
set-extra 1.4.2
7 versions - Latest release: 4 months ago - 1 dependent package - 37 dependent repositories - 6.07 thousand downloads total - 3 stars on GitHub - 1 maintainercrdt-event-fold 1.8.1.0
Garbage collected event folding CRDT. Consistently apply arbitrary operations to replicated data.12 versions - Latest release: 4 months ago - 1 dependent package - 1.12 thousand downloads total - 7 stars on GitHub - 1 maintainer
Top 4.7% on hackage.haskell.org
53 versions - Latest release: 4 months ago - 55 dependent packages - 32 dependent repositories - 37.7 thousand downloads total - 275 stars on GitHub - 1 maintainer
haskell-gi 0.26.8
Generate Haskell bindings for GObject-Introspection capable libraries53 versions - Latest release: 4 months ago - 55 dependent packages - 32 dependent repositories - 37.7 thousand downloads total - 275 stars on GitHub - 1 maintainer
FULE 0.3.1
Please see the README on GitHub at https://github.com/pschnapp/FULE#readme3 versions - Latest release: 4 months ago - 70 downloads total - 0 stars on GitHub - 1 maintainer
Top 7.0% on hackage.haskell.org
31 versions - Latest release: 4 months ago - 3 dependent packages - 11 dependent repositories - 23.4 thousand downloads total - 926 stars on GitHub - 1 maintainer
ormolu 0.7.4.0
A formatter for Haskell source code.31 versions - Latest release: 4 months ago - 3 dependent packages - 11 dependent repositories - 23.4 thousand downloads total - 926 stars on GitHub - 1 maintainer
conduit-algorithms 0.0.14.0
Algorithms on Conduits, including higher level asynchronous processing and some other utilities.20 versions - Latest release: 4 months ago - 7 dependent repositories - 10.4 thousand downloads total - 2 stars on GitHub - 1 maintainer
adblock2privoxy 2.3.0
Convert adblock config files to privoxy format22 versions - Latest release: 4 months ago - 16.5 thousand downloads total - 92 stars on GitHub - 2 maintainers
weeder 2.8.0
Find declarations.39 versions - Latest release: 4 months ago - 1 dependent package - 9 dependent repositories - 18.2 thousand downloads total - 162 stars on GitHub - 3 maintainers
hiedb 0.6.0.0
Tool and library to index and query a collection of `.hie` files12 versions - Latest release: 4 months ago - 8 dependent packages - 1 dependent repositories - 9.52 thousand downloads total - 3 maintainers
http-conduit-downloader 1.1.5
HTTP downloader tailored for web-crawler needs36 versions - Latest release: 4 months ago - 4 dependent repositories - 22.4 thousand downloads total - 18 stars on GitHub - 1 maintainer
xmonad-extras 0.17.1 💰
Various modules for xmonad that cannot be added to xmonad-contrib because of additional dependenc...24 versions - Latest release: 4 months ago - 25 dependent repositories - 18.7 thousand downloads total - 49 stars on GitHub - 6 maintainers
ghc-tags-plugin 0.6.1.0
etags format. For a standalone `ghc-tags` command look for or ghc-tags or its fork (the fork is ...26 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 4.4 thousand downloads total - 40 stars on GitHub - 1 maintainer
ghc-tags-core 0.6.1.0
A library to work with tags created from GHC syntax tree.18 versions - Latest release: 4 months ago - 2 dependent packages - 1 dependent repositories - 1.77 thousand downloads total - 40 stars on GitHub - 1 maintainer
eflint 3.1.0.2
5 versions - Latest release: 4 months ago - 242 downloads total - 1 maintainerpython-pickle 0.3.0
Serialization/deserialization using Python Pickle format4 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 2.46 thousand downloads total - 13 stars on GitHub - 2 maintainers
Top 6.9% on hackage.haskell.org
38 versions - Latest release: 4 months ago - 1 dependent package - 99 dependent repositories - 31.8 thousand downloads total - 2 maintainers
threepenny-gui 0.9.4.1
Threepenny-GUI is a GUI framework that uses the web browser as a display. It's very easy to inst...38 versions - Latest release: 4 months ago - 1 dependent package - 99 dependent repositories - 31.8 thousand downloads total - 2 maintainers
imbib 1.2.5
2 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 1.08 thousand downloads total - 1 maintainerproof-assistant-bot 0.2.2
Bridge between Telegram Bot and several proof assistants. Currently following proof assistant su...3 versions - Latest release: 4 months ago - 1 dependent package - 132 downloads total - 10 stars on GitHub - 1 maintainer
Top 4.9% on hackage.haskell.org
205 versions - Latest release: 4 months ago - 3 dependent packages - 38 dependent repositories - 190 thousand downloads total - 8 maintainers
purescript 0.15.15
A small strongly, statically typed programming language with expressive types, inspired by Haskel...205 versions - Latest release: 4 months ago - 3 dependent packages - 38 dependent repositories - 190 thousand downloads total - 8 maintainers
ansi-terminal-game 1.9.3.0
Library which aims to replicate standard 2d game functions (blit, ticks, timers, etc.) in a termi...35 versions - Latest release: 4 months ago - 2 dependent packages - 7 dependent repositories - 10.1 thousand downloads total - 1 maintainer
Top 2.9% on hackage.haskell.org
93 versions - Latest release: 4 months ago - 13 dependent packages - 220 dependent repositories - 118 thousand downloads total - 294 stars on GitHub - 4 maintainers
trifecta 2.1.4
A modern parser combinator library with slicing and Clang-style colored diagnostics For example:93 versions - Latest release: 4 months ago - 13 dependent packages - 220 dependent repositories - 118 thousand downloads total - 294 stars on GitHub - 4 maintainers
eventlog2html 0.11.0
eventlog2html is a library for visualising eventlogs. At the moment, the intended use is to visua...17 versions - Latest release: 4 months ago - 2 dependent packages - 2 dependent repositories - 5.3 thousand downloads total - 66 stars on GitHub - 2 maintainers
cabal-debian 5.2.3
Create a Debianization by examining a .cabal file.94 versions - Latest release: 4 months ago - 1 dependent package - 31 dependent repositories - 66.5 thousand downloads total - 3 stars on GitHub - 2 maintainers
http-io-streams 0.1.7.0
12 versions - Latest release: 4 months ago - 1 dependent package - 7 dependent repositories - 3.78 thousand downloads total - 2 maintainersflatbuffers 0.4.0.0
Haskell implementation of the FlatBuffers protocol. See the GitHub page for documentation: https...4 versions - Latest release: 4 months ago - 1 dependent repositories - 1.7 thousand downloads total - 32 stars on GitHub - 1 maintainer
serdoc-core 0.1.0.0
A set of typeclasses, primitives, combinators, and TH utilities for documenting serialization for...1 version - Latest release: 4 months ago - 1 dependent package - 59 downloads total - 1 maintainer
crux-llvm 0.8
This tool (and corresponding C library) are intended for verifying C programs using verification ...1 version - Latest release: 4 months ago - 2 dependent packages - 67 downloads total - 2 maintainers
crucible-llvm 0.6
Library providing LLVM-specific extensions to the crucible core library for Crucible-based simula...1 version - Latest release: 4 months ago - 2 dependent packages - 58 downloads total - 2 maintainers
crucible-symio 0.1
1 version - Latest release: 4 months ago - 2 dependent packages - 53 downloads total - 2 maintainerscrucible 0.7
1 version - Latest release: 4 months ago - 5 dependent packages - 53 downloads total - 2 maintainers
Top 9.3% on hackage.haskell.org
cryptol 3.1.0
21 versions - Latest release: 4 months ago - 1 dependent package - 93 dependent repositories - 13.5 thousand downloads total - 3 maintainersliquidhaskell-boot 0.9.8.1
Liquid Types For Haskell5 versions - Latest release: 4 months ago - 2 dependent packages - 1 dependent repositories - 286 downloads total - 1,156 stars on GitHub - 1 maintainer
microlens-pro 0.2.0
A lightweight (but compatible with ‘lens’) lenses library3 versions - Latest release: 4 months ago - 80 downloads total - 284 stars on GitHub - 1 maintainer