@hackage containers dependents

6782 results

@hackage/agda-server
Http server for Agda (prototype)
BSD-3-Clausev0.1.1
@hackage/agda-snippets
Render just the Agda snippets of a literate Agda file to HTML
BSD-3-Clausev2.5.2
@hackage/agda-unused
Check for unused code in an Agda project.
MITv0.3.0
@hackage/agda2hs
Compiling Agda code to readable Haskell.
BSD-3-Clausev1.4
@hackage/agda2train
Agda backend to generate training data for machine learning purposes.
BSD-3-Clausev0.0.3.0
@hackage/agentx
AgentX protocol for write SNMP subagents
BSD-3-Clausev0.2.0.0
@hackage/agum
Unification and Matching in an Abelian Group
LicenseRef-GPLv2.8
@hackage/air
air
BSD-3-Clausev2015.5.4
@hackage/air-extra
air-extra
BSD-3-Clausev2015.5.4
@hackage/airship
A Webmachine-inspired HTTP library
MITv0.9.5
@hackage/aivika
A multi-method simulation library
BSD-3-Clausev6.2
@hackage/aivika-branches
Nested discrete event simulation module for the Aivika library
BSD-3-Clausev0.4.1
@hackage/aivika-distributed
Parallel distributed discrete event simulation module for the Aivika library
BSD-3-Clausev1.5.1
@hackage/aivika-experiment
Simulation experiments for the Aivika library
BSD-3-Clausev5.4.1
@hackage/aivika-experiment-chart
Simulation experiments with charting for the Aivika library
BSD-3-Clausev5.4.1
@hackage/aivika-experiment-diagrams
Diagrams-based charting backend for the Aivika simulation library
BSD-3-Clausev5.4.1
@hackage/aivika-gpss
GPSS-like DSL for Aivika
BSD-3-Clausev0.7.1
@hackage/aivika-lattice
Nested discrete event simulation module for the Aivika library using lattice
BSD-3-Clausev0.7
@hackage/aivika-realtime
Soft real-time simulation module for the Aivika library
BSD-3-Clausev0.4
@hackage/aivika-transformers
Transformers for the Aivika simulation library
BSD-3-Clausev6.1.1
@hackage/ajhc
Haskell compiler that produce binary through C language
GPL-2.0-onlyv0.8.0.10
@hackage/alea
a diceware passphrase generator
MITv0.5.3.0
@hackage/alerta
Bindings to the alerta REST API
BSD-3-Clausev0.1.0.6
@hackage/alex
Alex is a tool for generating lexical analysers in Haskell
BSD-3-Clausev3.5.4.0
@hackage/alex-meta
Quasi-quoter for Alex lexers
BSD-3-Clausev0.3.0.13
@hackage/alfred-margaret
Fast Aho-Corasick string searching
BSD-3-Clausev2.1.0.2
@hackage/alga
Algorithmic automation for various DAWs
GPL-3.0-onlyv0.2.2
@hackage/algebra
Constructive abstract algebra
BSD-3-Clausev4.3.1
@hackage/algebra-checkers
Model and test API surfaces algebraically
BSD-3-Clausev0.1.0.1
@hackage/algebra-dag
Infrastructure for DAG-shaped relational algebra plans
BSD-3-Clausev0.1.1.1