@hackage haskeline dependents

172 results

@hackage/cacophony
A library implementing the Noise protocol.
LicenseRef-PublicDomainv0.11.0
@hackage/calculator
A calculator repl, with variables, functions & Mathematica like dynamic plots.
GPL-2.0-onlyv0.4.1.2
@cardano/cardano-cli
The Cardano command-line interface
Apache-2.0v10.12.0.0
@hackage/chessIO
Basic chess library
BSD-3-Clausev0.9.5.0
@hackage/chitauri
Helper for the Major System
BSD-3-Clausev0.1.0.1
@hackage/cicero-api
API bindings to IOHK's Cicero job scheduler
Apache-2.0v0.1.2.0
@hackage/claferIG
claferIG is an interactive tool that generates instances of Clafer models.
MITv0.4.5
@hackage/clash-ghc
Clash: a functional hardware description language - GHC frontend
BSD-2-Clausev1.8.3
@hackage/clckwrks-cli
a command-line interface for adminstrating some aspects of clckwrks
BSD-3-Clausev0.3.0.5
@hackage/console-program
Interpret the command line and a config file as commands and options
BSD-3-Clausev0.4.2.3
@hackage/core-haskell
A subset of Haskell using in UCC for teaching purpose
BSD-3-Clausev0.6.4
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.3.0
@hackage/cspmchecker
A command line type checker for CSPM files.
BSD-3-Clausev1.0.0
@hackage/cubical
Implementation of Univalence in Cubical Sets
MITv0.2.0
@hackage/darcs
a distributed, interactive, smart revision control system
GPL-2.0-or-laterv2.18.5
@hackage/darcs-beta
a distributed, interactive, smart revision control system
LicenseRef-GPLv2.7.99.2
@hackage/darkplaces-rcon-util
Darplaces rcon utility
GPL-2.0-onlyv0.1.1
@hackage/datalog
An implementation of datalog in Haskell
BSD-3-Clausev0.2.0.2
@hackage/ddc-tools
Disciplined Disciple Compiler command line tools.
MITv0.4.3.1
@hackage/ddci-core
Disciple Core language interactive interpreter.
MITv0.2.1.2
@hackage/dhall
A configuration language guaranteed to terminate
BSD-3-Clausev1.42.3
@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/doi
Automatic Bibtex and fulltext of scientific articles
MITv0.0.2
@hackage/dovetail
A PureScript interpreter with a Haskell FFI.
BSD-3-Clausev0.1.1.0
@hackage/eflint
Simulation interpreter for FLINT policy descriptions
BSD-3-Clausev3.1.0.2
@hackage/egison
Programming language with non-linear pattern-matching against non-free data
MITv4.1.3
@hackage/egison-tutorial
A tutorial program for the Egison programming language
MITv4.1.3
@hackage/elm-repl
a REPL for Elm
BSD-3-Clausev0.4.1