@hackage haskeline dependents

50 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.7.0.1
@hackage/HangmanAscii
Yet another Hangman game.
BSD-3-Clausev0.1.1.3
@hackage/MicroHs
A small compiler for Haskell
Apache-2.0v0.12.6.1
@hackage/apple
Apple array language compiler
AGPL-3.0-onlyv0.3.0.0
@hackage/breakpoint
Set breakpoints using a GHC plugin
MITv0.1.4.0
@hackage/byline
Library for creating command-line interfaces (colors, menus, etc.)
BSD-2-Clausev1.1.3
@hackage/cacophony
A library implementing the Noise protocol.
LicenseRef-PublicDomainv0.11.0
@cardano/cardano-cli
The Cardano command-line interface
Apache-2.0v10.8.0.0
@hackage/chessIO
Basic chess library
BSD-3-Clausev0.9.5.0
@hackage/cicero-api
API bindings to IOHK's Cicero job scheduler
Apache-2.0v0.1.2.0
@hackage/clash-ghc
Clash: a functional hardware description language - GHC frontend
BSD-2-Clausev1.8.2
@hackage/clckwrks-cli
a command-line interface for adminstrating some aspects of clckwrks
BSD-3-Clausev0.3.0.5
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.3.0
@hackage/darcs
a distributed, interactive, smart revision control system
GPL-2.0-or-laterv2.18.5
@hackage/dhall
A configuration language guaranteed to terminate
BSD-3-Clausev1.42.2
@hackage/diohsc
Gemini client
GPL-3.0-onlyv0.1.16
@hackage/disco
Functional programming language for teaching discrete math.
BSD-3-Clausev0.2
@hackage/djinn
Generate Haskell code from a type
BSD-3-Clausev2025.2.21
@hackage/eflint
Simulation interpreter for FLINT policy descriptions
BSD-3-Clausev3.1.0.2
@hackage/emhell
Embedded shell
BSD-3-Clausev0.1.1.0
@hackage/erebos
Decentralized messaging and synchronization
BSD-3-Clausev0.1.8.1
@hackage/erebos-tester
Test framework with virtual network using Linux namespaces
GPL-3.0-onlyv0.3.1
@hackage/exploring-interpreters
A generic exploring interpreter for exploratory programming
BSD-3-Clausev1.6.0.0
@hackage/funcons-tools
A modular interpreter for executing funcons
MITv0.2.0.15
@hackage/fused-effects-readline
A readline-like effect and carrier for fused-effects
BSD-3-Clausev0.2.0.0
@hackage/futhark
An optimising compiler for a functional, array-oriented language.
ISCv0.25.30
@hackage/ghci-dap
ghci-dap is a GHCi having DAP interface.
BSD-3-Clausev0.0.25.0
@hackage/haskell-docs-cli
Search Hoogle and navigate Hackage from the command line.
BSD-3-Clausev1.0.0.0
@hackage/hevm
Symbolic EVM Evaluator
AGPL-3.0-onlyv0.54.2
@hackage/hinit
Generic project initialization tool
BSD-3-Clausev0.2.2