Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage symbol dependents

12 results

@hackage/BPS
Translations of classic Truth Maintenance Systems
GPL-3.0-onlyv0.1.1.0
@hackage/TLT
Testing in monads and transformers without explicit specs
LGPL-3.0-onlyv0.5.0.0
@hackage/accelerate-cuda
Accelerate backend for NVIDIA GPUs
BSD-3-Clausev0.17.0.0
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/jukebox
A first-order reasoning toolbox
BSD-3-Clausev0.5.5
@hackage/language-c-quote
C/CUDA/OpenCL/Objective-C quasiquoting library.
BSD-3-Clausev0.13.0.2
@hackage/llvm-general-quote
QuasiQuoting llvm code for llvm-general
BSD-3-Clausev0.2.0.0
@hackage/mainland-pretty
Pretty printing designed for printing source code.
BSD-3-Clausev0.7.1.1
@hackage/octopus
Lisp with more dynamism, more power, more simplicity.
GPL-3.0-onlyv0.0.2.1
@hackage/srcloc
Data types for managing source code locations.
BSD-3-Clausev0.6.0.1
@hackage/twee
An equational theorem prover
BSD-3-Clausev2.4.2
@hackage/twee-lib
An equational theorem prover
BSD-3-Clausev2.4.2