Packages tagged agpl

127 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (99), program (58), web (21), data (10), deprecated (8), development (8), recursion (8), game (7), network (7), text (7), utils (7), cli (6), language (6), system (4), utility (4), concurrency (3), cryptography (3), finance (3), graphics (3), mail (3), math (3), parsing (3), codec (2), database (2), database-testing-web (2), foreign (2), gemini (2), linux (2), statistics (2), task (2), todo (2), application (1), array (1), astrology (1), blog (1), chat (1), chemistry (1), cli-tool (1), configuration (1), control (1), data-structures (1), distribution (1), dns (1), documentation (1), email (1), ethereum (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
Allure792.01Near-future Sci-Fi roguelike and tactical squad combat game (agpl, game, library, program, roguelike)2021-12-170.11.0.0MikolajKonarski
Blogdown111.51A markdown-like markup language designed for blog posts (agpl, library, program, web)2018-02-050.2.4alexbecker
ConClusion152.00Cluster algorithms, PCA, and chemical conformere analysis (agpl, chemistry, library, program, statistics)2023-09-070.2.2phillipseeber
DigitalOcean80.01A client library for the DigitalOcean API (agpl, library, network)2014-12-270.1.1.0lclarkmichalek
Mapping80.01Mapping (agpl, data, library)2018-02-272.0.0.0Zaoqi
acme-left-pad82.01free your haskell from the tyranny of npm! (agpl, library, text)2016-03-303.0JoeQuinn
airgql102.01Automatically generate a GraphQL API for an SQLite database (agpl, cli-tool, database, graphql, library, servant, sql, sqlite, web)2024-06-080.7.1.3adrian
antagonist510.01A web interface to Antisplice dungeons. (agpl, library, program, web)2016-04-040.1.0.30implementation
anticiv50.01This is an IRC bot for Mafia and Resistance. (agpl, library, network, program)2014-09-140.1.0.5implementation
antisplice440.04An engine for text-based dungeons. (agpl, game, library)2016-04-040.17.1.1implementation
apple102.00Apple array language compiler (agpl, array, language, library, program)2024-09-100.3.0.0vmchale
artifact (deprecated)40.01Basic types and instances for Valve's Artifact Card-set API (agpl, deprecated, game, library)2018-11-150.0.0.0
avif202.01High-level bindings to libavif (agpl, codec, image, library)2023-08-130.1.2.1vmchale
blagda70.00Shake frontend for Agda blogging (agpl, blog, library, program)2022-03-020.1.0.1isovector
blubber-server30.00The blubber server, serves blubber clients. (agpl, game, library, program)2015-06-300.0.1alexander
brittany740.01Haskell source code formatter (agpl, language, library, program)2022-01-130.14.0.2lspitzner, fozworth, dukerutledge
cabal-appimage560.00Cabal support for creating AppImage applications (agpl, development, distribution, library, linux)2024-09-020.4.0.5GabrieleSales
chatty510.06Some monad transformers and typeclasses for text in- and output abstraction. (agpl, library, text)2021-01-040.8.0.0implementation
chatty-text90.03Provides some classes and types for dealing with text, using the fundaments of Chatty. (agpl, library, text)2016-04-050.6.2.1implementation
chatty-utils310.07Some utilities every serious chatty-based application may need. (agpl, data, library)2021-01-040.7.3.5implementation
checkmate160.00Generate checklists relevant to a given patch (agpl, development, library, program)2018-08-310.4.0hongminhee
cielo40.01Cielo API v3 Bindings for Haskell (agpl, library, web)2016-11-170.1.2.0yamadapc
conditional-restriction-parser50.00Parser and interpreter of OpenStreetMap conditional restriction values (agpl, library, parser, program)2022-09-080.1.0.5lbuchli
configifier180.01parser for config files, shell variables, command line args. (agpl, configuration, data, library)2016-07-050.1.1MatthiasFischmann
corenlp-types60.00Types for interaction with CoreNLP (agpl, language, library)2023-12-040.1.0.0cgenie
cryptsy-api (deprecated)70.01Bindings for Cryptsy cryptocurrency exchange API. (agpl, deprecated, library, web)2015-04-110.2.1
debug-me260.01secure remote debugging (agpl, program, utility)2022-12-311.20221231JoeyHess
diff-parse150.03A parser for diff file formats (agpl, library, parsing)2015-02-150.2.1mulby, vengefulpickle
ema170.03Static site generator library with hot reload (agpl, library, web)2023-08-090.10.2.0sridca
ema-extra20.00Useful route types for Ema (agpl, library, web)2022-11-200.10.0.0sridca
ema-generics40.01Generic deriving for Ema routes (agpl, library, web)2022-11-200.10.0.0sridca
email-validator150.01Perform basic syntax and deliverability checks on email addresses. (agpl, program, utils)2024-05-151.8.7MichaelOrlitzky
emanote80.00Emanate a structured view of your plain-text notes (agpl, library, program, web)2023-08-241.2.0.0sridca
espial400.00Espial is an open-source, web-based bookmarking server. (agpl, library, web)2024-01-190.0.20jonschoning
fca30.01Algo for Formal Concept Analysis (agpl, data, library)2014-07-120.1.0.2Rpr
feed-translator100.01Translate syndication feeds (agpl, program, web)2015-09-040.1.0.2hongminhee
forex2ledger102.00Print Forex quotes in Ledger format (agpl, finance, library, program)2021-07-281.0.0.2gregorias
gemcap90.00a simple Gemini capsule (server) (agpl, gemini, library)2023-01-040.1.0.1jlamothe
gemmula-altera (deprecated)110.00A tiny gemtext converter for gemmula (agpl, deprecated, gemini, library, program, text)2024-07-232.1.1jan_sena
ghc-mod (deprecated)1812.755Happy Haskell Hacking (agpl, deprecated, development, ghc, library, program)2017-06-115.8.0.0KazuYamamoto, DanielG
git-annex8302.01manage files with git, without checking their contents into git (agpl, program, utility)2024-09-3010.20240927JoeyHess
git-lfs840.00git-lfs protocol (agpl, library, network)2024-02-011.2.2JoeyHess
git-repair862.01repairs a damaged git repository (agpl, program, utility)2023-08-141.20230814JoeyHess
gloss-sodium70.01A Sodium interface to the Gloss drawing package. (agpl, graphics, library)2014-10-300.1.0.0Twey
goatee250.02A monadic take on a 2,500-year-old board game - library. (agpl, game, library)2021-01-250.4.0khumba
goatee-gtk260.01A monadic take on a 2,500-year-old board game - GTK+ UI. (agpl, game, library, program)2021-01-250.4.0khumba
haeredes290.01Confirm delegation of NS and MX records (agpl, dns, program, utils)2024-05-151.8.7MichaelOrlitzky
hahp110.00Analytic Hierarchy Process (agpl, library, math, program)2016-02-220.1.3taeradan, jpierre03
hannahci80.01Simple Continuous Integration/Deployment System (agpl, development, program)2015-02-010.1.4.2Elzair
haskell-throttle60.00A simple throttling library, which drops messages from same group. (agpl, concurrency, library)2024-07-310.1.0.1cgenie
hath352.01Manipulates network blocks in CIDR notation (agpl, program, utils)2024-05-151.8.7MichaelOrlitzky
hb3sum110.00A command line tool to compute BLAKE3 hashes. (agpl, cli, cryptography, program)2024-03-050.0.0.2SergeyAlirzaev
hevm662.00Symbolic EVM Evaluator (agpl, ethereum, library)2024-02-260.53.0mbrock, MrChico, dxo
hls-brittany-plugin210.01Integration with the Brittany code formatter (agpl, development)2022-12-261.1.0.0PepeIborra, Ailrun, berberman, jneira, hls_team
hopenpgp-tools2560.01hOpenPGP-based command-line tools (agpl, codec, data, program)2024-09-300.23.10ClintAdams
hoppy-docs250.01C++ FFI generator - Documentation (agpl, foreign, library)2024-06-020.9.0khumba
hoppy-generator460.04C++ FFI generator - Code generator (agpl, foreign, library)2024-06-020.9.0khumba
hscim170.01hscim json schema and server implementation (agpl, library, program, web)2024-03-120.4.0.2MatthiasFischmann
hsendxmpp282.00sendxmpp clone, sending XMPP messages via CLI (agpl, cli, network, program, xmpp)2024-06-180.1.3.2SergeyAlirzaev
htree80.00a library to build and work with heterogeneous, type level indexed rose trees (agpl, data, library)2024-07-210.1.1.0mangoiv
http-barf80.00a library to make http requests without worrying much (agpl, library, network)2024-08-240.1.1.0mangoiv
hypergeometric132.250Hypergeometric functions (agpl, library, math, statistics)2022-12-050.1.4.0vmchale
implicit402.01A math-inspired programmatic 2D & 3D CAD system. (agpl, graphics, library)2023-12-180.4.1.0ChristopherOlah, Juri_
informative360.01A yesod subsite serving a wiki. (agpl, library, program, web)2016-04-040.1.0.27implementation
instapaper-sender60.01Basic HTTP gateway to save articles to Instapaper (agpl, program, web)2017-02-030.1.0.2MichaelSmith
intel-powermon110.00Poll modern Intel/AMD CPU power consumption on Linux via RAPL. (agpl, cli, linux, program)2023-08-180.0.1SergeyAlirzaev
jacinda592.250Functional, expression-oriented data processing language (agpl, data, interpreters, language, library, program, text)2024-10-093.2.0.0vmchale
keysafe350.01back up a secret key securely to the cloud (agpl, program, utility)2020-02-140.20200214JoeyHess
khph50.01Command-line file tagging and organization tool (agpl, program, system)2016-06-110.1.0khumba
lang80.01A Lisp (agpl, language, library)2018-03-010.2.2Zaoqi
ldap-scim-bridge150.00See README for synopsis (agpl, library, program, system)2024-03-140.9MatthiasFischmann, battermann
list-remote-forwards90.01List all remote forwards for mail accounts stored in a SQL database. (agpl, mail, program, utils)2024-05-151.8.7MichaelOrlitzky
lp-diagrams260.02An EDSL for diagrams based based on linear constraints (agpl, graphics, library)2020-10-202.1.4JeanPhilippeBernardy
mail-reports170.00A parser library for DMARC and SMTP TLS reports (agpl, library, mail)2021-01-040.3.0.0implementation
mailbox-count210.01Count mailboxes in a SQL database (agpl, mail, program, utils)2024-05-151.8.7MichaelOrlitzky
monad-choice50.00Monad, monad transformer, and typeclass representing choices. (agpl, control, library)2020-03-270.2.0.0LouisH
neuron160.00Future-proof system for plain-text notes. (agpl, library, program, web)2020-10-081.0.0.0sridca
nicovideo-translator110.01Nico Nico Douga (ニコニコ動画) Comment Translator (agpl, library, program, translation)2017-04-150.3.0.0hongminhee
nix-freeze-tree110.00Convert a tree of files into fixed-output derivations (agpl, application, library, nix, program)2023-12-050.1.1.0jack
no-recursion70.00A GHC plugin to remove support for recursion (agpl, library, recursion)2024-05-190.1.2.0sellout
ohhecs110.00An Entity-Component-Systems engine core. (agpl, game, game-engine, library)2024-07-110.0.2spacekitteh
opaleye-textsearch60.00Text search utilities for Opaleye (agpl, database, library)2024-04-170.1.0.0cgenie
optparse-applicative-cmdline-util40.00Utility functions for working with optparse-applicative (agpl, cli, library, options, parsing, system)2024-03-180.2.1TonyZorman
parochial70.00Help Manage project specific documentation (agpl, development, documentation, library, program)2021-01-030.2.0.0filterfish
persona80.01Persona (BrowserID) library (agpl, library, web)2016-03-280.2.0.0frasertweedale
persona-idp60.01Persona (BrowserID) Identity Provider (agpl, program, web)2015-03-070.1.0.2frasertweedale
pg-harness (deprecated in favor of tempgres-client)160.01REST service and library for creating/consuming temporary PostgreSQL databases (agpl, database-testing-web, deprecated, library, program)2015-05-090.2.1BardurArantsson
pg-harness-server (deprecated in favor of tempgres-client)140.01REST service for creating temporary PostgreSQL databases (agpl, database-testing-web, deprecated, program)2019-06-260.6.2BardurArantsson
pi-hoole70.00Lightweight access control solution for the pijul vcs (agpl, library, program, security)2018-05-050.2.0.0lethom
polysemy-scoped-fs50.00Well-typed filesystem operation effects. (agpl, library, polysemy-filesystem)2022-04-230.1.0.0hisaketM
purebred-email360.00types and parser for email messages (including MIME) (agpl, data, email, library)2023-10-250.6.0.2frasertweedale, romanofski
quenya-verb40.01Quenya verb conjugator (agpl, language, library, program)2015-04-030.0.1kaashif
react-tutorial-haskell-server40.01react-tutorial web server (agpl, program, web)2016-04-041.0.0alexander
reactive-banana-automation640.01home (etc) automation using reactive-banana (agpl, frp, library, reactivity)2024-10-110.5.7JoeyHess
regex-rure180.00Bindings to Rust's regex library (agpl, library, regex, text)2022-01-240.1.2.0vmchale
reloto100.00Equiprobable draw from publicly verifiable random data. (agpl, library, politic)2021-08-302.1.0.20180829julm
semdoc100.00Evaluate code snippets in Literate Haskell. (agpl, development, library, program)2017-01-040.1.3iphydf
servant-xml-conduit100.00Servant XML content-type with support for xml-conduit (agpl, library, web)2023-11-230.1.0.4cgenie
simplexmq302.00SimpleXMQ message broker (agpl, chat, cryptography, library, network, program, system, web)2022-04-211.1.0epoberezkin, EfimPoberezkin
singnal60.01Singnal (agpl, concurrency, library)2017-07-040.1.1.0Zaoqi
spline3140.01Parallel implementation of the Sorokina/Zeilfelder spline scheme (agpl, math, program)2024-05-151.8.7MichaelOrlitzky
stack-fix40.00Console program used to fix Stack build errors automatically (agpl, development, program)2019-08-270.1.0.0freeman42x
stratum-tool60.01Client for Stratum protocol (agpl, program, utils)2015-01-270.0.4JoelLehtonen
swiss-ephemeris260.00Haskell bindings for the Swiss Ephemeris C library (agpl, astrology, data, library)2021-12-041.4.2.0lfborjas
symantic-base240.02Basic symantic combinators for Embedded Domain-Specific Languages (EDSL) (agpl, data-structures, library)2023-01-250.5.0.20221211julm
symantic-document270.02Symantics combinators for generating documents. (agpl, library, text)2021-08-311.5.3.20200320julm
symantic-parser130.00Parser combinators statically optimized and staged via typed meta-programming (agpl, library, parsing)2021-08-310.2.1.20210803julm
tasklite62.00CLI task / todo list manager with SQLite backend (agpl, cli, program, task, todo)2024-05-050.3.0.0adrian
tasklite-core62.00CLI task / todo list manager with SQLite backend (agpl, cli, library, task, todo)2024-05-050.3.0.0adrian
taskwarrior940.00Types and aeson instances for taskwarrior tasks (agpl, data, library, taskwarrior)2023-07-310.6.0.6maralorn
tasty-tmux160.01Terminal user acceptance testing (UAT) via tmux (agpl, library, testing)2023-10-140.1.0.5frasertweedale, romanofski
tax110.02Types and combinators for taxes (agpl, finance, library)2018-08-230.2.0.0frasertweedale
tax-ato130.00Tax types and computations for Australia (agpl, finance, library)2024-07-152024.1.0.1frasertweedale
tempus-fugit52.00Programmers' time tracker (agpl, library, program, utils)2015-08-120.1.0.1kadoban
trimdent132.00A utility for neat multiline string trimming (agpl, library, string)2021-07-280.1.0.0gregorias
unbreak70.00Secure and resilient remote file storage utility (agpl, library, network, program)2015-12-310.3.1kinoru
unclogging290.00a library which implements easy, concurrent and pretty logging (agpl, concurrency, library, program)2024-10-100.1.0.3mangoiv
wai-static-cache80.01A simple cache for serving static files in a WAI middleware (agpl, library, web)2014-09-250.1.0.1HugoGomes
y0l0bot60.01#plaimi's all-encompassing bot (agpl, irc, program)2015-02-130.1.1alexander
yaya850.04Total recursion schemes. (agpl, library, recursion)2024-10-230.6.2.2sellout
yaya-containers470.00Pattern functors and instances for types in the containers package. (agpl, library, recursion)2024-10-230.1.2.1sellout
yaya-hedgehog340.00Hedgehog testing support for the Yaya recursion scheme library. (agpl, library, recursion)2024-10-230.3.0.3sellout
yaya-quickcheck460.00QuickCheck testing support for the Yaya recursion scheme library. (agpl, library, recursion)2024-10-230.2.0.2sellout
yaya-test (deprecated in favor of yaya-hedgehog)80.00Test suites for `yaya`. (agpl, deprecated, recursion)2024-03-110.3.1.3sellout
yaya-unsafe680.00Non-total extensions to the Yaya recursion scheme library. (agpl, library, recursion)2024-10-230.4.1.2sellout
yaya-unsafe-test (deprecated in favor of yaya-unsafe)60.00Test suites for `yaya-unsafe`. (agpl, deprecated, recursion)2024-03-110.2.0.2sellout
yggdrasil40.01Executable specifications of composable cryptographic protocols. (agpl, cryptography, library)2018-09-100.1.0.0semihonest