@hackage tasty dependents

2601 results

@hackage/skip-list
An implementation of pure skip lists
MITv0.1.0.1
@hackage/skylighting
syntax highlighting library
GPL-2.0-onlyv0.14.7
@hackage/skylighting-core
syntax highlighting library
BSD-3-Clausev0.14.7
@hackage/slab
A programmable markup language to generate HTML
BSD-2-Clausev0.0.3.0
@hackage/slave-thread
A fundamental solution to ghost threads and silent exceptions
MITv1.1.0.3
@hackage/sliceofpy
Python-ish slicing traversals for Haskell.
BSD-3-Clausev1.0.0
@hackage/slip32
SLIP-0032: Extended serialization format for BIP-32 wallets
Apache-2.0v0.2.1
@hackage/small-bytearray-builder
Serialize to bytes
BSD-3-Clausev0.3.7.0
@cardano/small-steps
Small step semantics
Apache-2.0v1.1.3.0
@cardano/small-steps-test
Small step semantics testing library
Apache-2.0v1.0.1.0
@hackage/smallcheck-laws
SmallCheck properties for common laws
BSD-3-Clausev0.3
@hackage/smallcheck-lens
SmallCheck properties for lens
BSD-3-Clausev0.3
@hackage/smallcheck-series
Extra SmallCheck series and utilities
BSD-3-Clausev0.7.1.0
@hackage/smh
String manipulation tool written in haskell
MITv0.2.1
@hackage/smt
Interface to Satisfiability Modulo Theories solvers
BSD-3-Clausev0.0.0.0
@hackage/smtlib-backends-process
An SMT-LIB backend running solvers as external processes.
MITv0.3
@hackage/smtlib-backends-tests
Testing SMT-LIB backends.
MITv0.3
@hackage/smtlib-backends-z3
An SMT-LIB backend implemented using Z3's C API.
MITv0.3.1
@hackage/smuggler2
GHC Source Plugin that helps to minimise imports and generate explicit exports
MPL-2.0v0.3.6.2
@hackage/snap-extras
A collection of useful helpers and utilities for Snap web applications.
BSD-3-Clausev0.12.3.2
@hackage/snappy-c
Bindings to Google's Snappy: A fast compression library
BSD-3-Clausev0.1.3
@hackage/snelstart-import
Import to snelstart.
MITv1.1.0
@hackage/socket
An extensible socket library.
MITv0.8.3.0
@hackage/socket-unix
Unix domain sockets
MITv0.2.1.0
@hackage/sockets
High-level network sockets
BSD-3-Clausev0.7.0.0
@hackage/solana-staking-csvs
Generate CSV Exports of your Solana Staking Rewards.
BSD-3-Clausev0.2.0.0
@hackage/sop-satisfier
Check satisfiability of expressions on natural numbers
BSD-2-Clausev0.3.4.5
@hackage/sophia
Bindings to Sophia library
BSD-3-Clausev0.1.2
@hackage/spacecookie
Gopher server library and daemon
GPL-3.0-onlyv1.0.0.3
@hackage/spake2
Implementation of the SPAKE2 Password-Authenticated Key Exchange algorithm
LicenseRef-Apachev0.4.3