@hackage async dependents

838 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.7.0.1
@hackage/Allure
Near-future Sci-Fi roguelike and tactical squad combat game
AGPL-3.0-or-laterv0.11.0.0
@haskell/Cabal
A framework for packaging Haskell software
BSD-3-Clausev3.14.2.0
@hackage/Concurrential
Mix concurrent and sequential computation
BSD-3-Clausev0.5.0.1
@hackage/CurryDB
CurryDB: In-memory Key/Value Database
BSD-3-Clausev0.1.1.0
@hackage/EtaMOO
A new implementation of the LambdaMOO server
BSD-3-Clausev0.3.0.0
@hackage/GPipe-GLFW
GLFW OpenGL context creation for GPipe
MITv1.4.1.4
@hackage/GPipe-GLFW4
GLFW OpenGL context creation for GPipe
MITv2.0.0
@hackage/HasChor
Functional choreographic programming in Haskell
BSD-3-Clausev0.1.0.1
@hackage/LambdaHack
A game engine library for tactical squad ASCII roguelike dungeon crawlers
BSD-3-Clausev0.11.0.1
@hackage/MIP-glpk
A GLPK backend to the MIP library.
GPL-3.0-onlyv0.2.0.0
@hackage/MultiChor
Type-safe and efficient choreographies with location-set polymorphism.
BSD-3-Clausev1.1.0.0
@hackage/NGLess
NGLess implements ngless, a DSL for processing sequencing data
MITv1.5.0
@hackage/Network-NineP
High-level abstraction over 9P protocol
LicenseRef-OtherLicensev0.4.7.4
@hackage/OnRmt
Text UI library for performing parallel remote SSH operations
BSD-3-Clausev1.0.0.0
@cardano/Win32-network
Win32 network API
Apache-2.0v0.2.0.1
@hackage/accelerate
An embedded language for accelerated array processing
BSD-3-Clausev1.3.0.0
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/aftovolio
An AFTOVolio implementation for creating texts with special phonetic / prosodic properties.
MITv0.7.1.0
@hackage/agda2train
Agda backend to generate training data for machine learning purposes.
BSD-3-Clausev0.0.3.0
@hackage/aivika-realtime
Soft real-time simulation module for the Aivika library
BSD-3-Clausev0.4
@hackage/alarmclock
Wake up and perform an action at a certain time.
BSD-3-Clausev0.7.0.7
@hackage/amazonka-s3-streaming
Provides conduits to upload data to S3 using the Multipart API
BSD-3-Clausev2.0.0.0
@hackage/animate-frames
Convert sprite frames to animate files
MITv0.0.1
@hackage/apecs
Fast Entity-Component-System library for game programming
BSD-3-Clausev0.9.6
@hackage/apns-http2
Apple Push Notification service HTTP/2 integration.
BSD-3-Clausev0.1.1.0
@hackage/ariadne
Go-to-definition for Haskell
MITv0.1.2.3
@hackage/arion-compose
Run docker-compose with help from Nix/NixOS
Apache-2.0v0.2.2.0
@hackage/ascii-progress
A simple progress bar for the console.
MITv0.3.3.0
@hackage/aspell-pipe
Pipe-based interface to the Aspell program
BSD-3-Clausev0.6