Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage with-utf8 dependents

22 results

@hackage/b9
A tool and library for building virtual machine images.
MITv3.2.3
@hackage/cleveland
Testing framework for Morley.
MITv0.4.0
@hackage/emanote
Emanate a structured view of your plain-text notes
AGPL-3.0-onlyv1.2.0.0
@hackage/eo-phi-normalizer
Command line normalizer of 𝜑-calculus expressions.
BSD-3-Clausev3.2.0
@hackage/haskell-language-server
LSP server for GHC
Apache-2.0v2.9.0.0
@hackage/hevm
Symbolic EVM Evaluator
AGPL-3.0-onlyv0.54.2
@hackage/indigo
Convenient imperative eDSL over Lorentz.
MITv0.6.0
@hackage/lorentz
EDSL for the Michelson Language
MITv0.16.0
@hackage/morley
Developer tools for the Michelson Language
MITv1.20.0
@hackage/morley-upgradeable
Upgradeability infrastructure based on Morley.
MITv0.3
@hackage/neuron
Future-proof system for plain-text notes.
AGPL-3.0-onlyv1.0.0.0
@cardano/ouroboros-consensus
Consensus layer for the Ouroboros blockchain protocol
Apache-2.0v0.22.0.0
@cardano/ouroboros-consensus-cardano
The instantation of the Ouroboros consensus layer used by Cardano
Apache-2.0v0.21.0.0
@cardano/ouroboros-network
A networking layer for the Ouroboros blockchain protocol
Apache-2.0v0.19.0.1
@cardano/ouroboros-network-framework
Ouroboros network framework
Apache-2.0v0.15.0.0
@hackage/rzk
An experimental proof assistant for synthetic ∞-categories
BSD-3-Clausev0.7.5
@hackage/spade
A simple programming and debugging environment.
GPL-3.0-onlyv0.1.0.10
@hackage/squeal-postgresql
Squeal PostgreSQL Library
BSD-3-Clausev0.9.2.0
@hackage/tailwind
Tailwind wrapped in Haskell
MITv0.3.0.0
@hackage/unionmount
Union mount filesystem paths into Haskell datastructures
MITv0.2.2.0
@hackage/xml-prettify-text
XML pretty printer
GPL-2.0-onlyv1.0.0.3
@hackage/xrefcheck
MPL-2.0v0.3.1