@hackage haskeline dependents

170 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.8.0
@hackage/CPL
An interpreter of Hagino's Categorical Programming Language (CPL).
BSD-3-Clausev0.0.9
@hackage/DAV
RFC 4918 WebDAV support
GPL-3.0-onlyv1.3.4
@hackage/Deadpan-DDP
Write clients for Meteor's DDP Protocol
MITv0.9.6.0
@hackage/Delta-Lambda
A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)
MITv0.3.0.0
@hackage/EtaMOO
A new implementation of the LambdaMOO server
BSD-3-Clausev0.3.0.0
@hackage/FTPLine
A command-line FTP client.
BSD-3-Clausev1.4.1.1
@hackage/HXQ
A Compiler from XQuery to Haskell
BSD-3-Clausev0.20.1
@hackage/HangmanAscii
Yet another Hangman game.
BSD-3-Clausev0.1.1.3
@hackage/LambdaCalculator
A basic lambda calculator with beta reduction and a REPL
BSD-3-Clausev0.2
@hackage/MicroHs
A small compiler for Haskell
Apache-2.0v0.13.0.0
@hackage/Pugs
A Perl 6 Implementation
BSD-3-Clausev6.2.13.20150815
@hackage/Shellac-haskeline
Haskeline backend module for Shellac
BSD-3-Clausev0.2.1
@hackage/TBit
Utilities for condensed matter physics tight binding calculations.
BSD-3-Clausev0.4.2.3
@hackage/Tahin
Tahin Password Generator
BSD-3-Clausev0.1.2
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/ajhc
Haskell compiler that produce binary through C language
GPL-2.0-onlyv0.8.0.10
@hackage/alga
Algorithmic automation for various DAWs
GPL-3.0-onlyv0.2.2
@hackage/anatomy
Anatomy: Atomo documentation system
BSD-3-Clausev0.4
@hackage/angle
A small, general-purpose programming language.
GPL-3.0-onlyv0.8.1.0
@hackage/antisplice
An engine for text-based dungeons.
AGPL-3.0-onlyv0.17.1.1
@hackage/apple
Apple array language compiler
AGPL-3.0-onlyv0.3.0.0
@hackage/atomo
A highly dynamic, extremely simple, very fun programming language.
BSD-3-Clausev0.4.0.2
@hackage/batchd
Batch processing toolset for Linux / Unix
BSD-3-Clausev0.1.1.0
@hackage/berp
An implementation of Python 3.
BSD-3-Clausev0.0.2
@hackage/bisect-binary
Determine relevant parts of binary data
MITv0.1.0.1
@hackage/black-jewel
The pirate bay client.
GPL-3.0-onlyv0.0.0.1
@hackage/breakpoint
Set breakpoints using a GHC plugin
MITv0.1.4.0
@hackage/buchhaltung
Automates most of your plain text accounting data entry in ledger format.
MITv0.0.7
@hackage/byline
Library for creating command-line interfaces (colors, menus, etc.)
BSD-2-Clausev1.1.3