@hackage haskeline dependents

82 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.6.4.3
@hackage/DAV
RFC 4918 WebDAV support
GPL-3.0-onlyv1.3.4
@hackage/HangmanAscii
Yet another Hangman game.
BSD-3-Clausev0.1.1.3
@hackage/MicroHs
A compiler for Haskell
Apache-2.0v0.9.8.0
@hackage/alga
Algorithmic automation for various DAWs
GPL-3.0-onlyv0.2.2
@hackage/batchd
Batch processing toolset for Linux / Unix
BSD-3-Clausev0.1.1.0
@hackage/breakpoint
Set breakpoints using a GHC plugin
MITv0.1.3.1
@hackage/byline
Library for creating command-line interfaces (colors, menus, etc.)
BSD-2-Clausev1.1.2
@hackage/cacophony
A library implementing the Noise protocol.
LicenseRef-PublicDomainv0.10.1
@hackage/chessIO
Basic chess library
BSD-3-Clausev0.9.3.1
@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.1
@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/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.1.0
@hackage/darcs
a distributed, interactive, smart revision control system
GPL-2.0-or-laterv2.18.2
@hackage/dhall
A configuration language guaranteed to terminate
BSD-3-Clausev1.42.1
@hackage/diohsc
Gemini client
GPL-3.0-onlyv0.1.14.7
@hackage/disco
Functional programming language for teaching discrete math.
BSD-3-Clausev0.1.6
@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/emhell
Embedded shell
BSD-3-Clausev0.1.1.0
@hackage/erebos
Decentralized messaging and synchronization
BSD-3-Clausev0.1.2
@hackage/exploring-interpreters
A generic exploring interpreter for exploratory programming
BSD-3-Clausev1.5.0.1
@hackage/expresso
A simple expressions language based on row types
BSD-3-Clausev0.1.2.3
@hackage/fswatch
File System watching tool with cli and slave functionalities.
BSD-3-Clausev0.1.0.6
@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.1.0.1