Packages tagged agpl
131 packages have this tag.
[Merge tag] (trustees only)Related tags: library (103), program (58), web (21), data (10), deprecated (8), development (8), recursion (8), game (7), network (7), text (7), utils (7), cli (6), language (6), documentation (5), 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), email (1), ethereum (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| Allure | 192 | 2.0 | 1 | Near-future Sci-Fi roguelike and tactical squad combat game | (agpl, game, library, program, roguelike) | 2021-12-17 | 0.11.0.0 | MikolajKonarski |
| Blogdown | 19 | 1.5 | 1 | A markdown-like markup language designed for blog posts | (agpl, library, program, web) | 2018-02-05 | 0.2.4 | alexbecker |
| ConClusion | 17 | 2.0 | 0 | Cluster algorithms, PCA, and chemical conformere analysis | (agpl, chemistry, library, program, statistics) | 2023-09-07 | 0.2.2 | phillipseeber |
| DigitalOcean | 12 | 0.0 | 1 | A client library for the DigitalOcean API | (agpl, library, network) | 2014-12-27 | 0.1.1.0 | lclarkmichalek |
| Mapping | 15 | 0.0 | 1 | Mapping | (agpl, data, library) | 2018-02-27 | 2.0.0.0 | Zaoqi |
| acme-left-pad | 11 | 2.0 | 1 | free your haskell from the tyranny of npm! | (agpl, library, text) | 2016-03-30 | 3.0 | JoeQuinn |
| airgql | 16 | 2.0 | 1 | Automatically generate a GraphQL API for an SQLite database | (agpl, cli-tool, database, graphql, library, servant, sql, sqlite, web) | 2024-06-08 | 0.7.1.3 | adrian |
| antagonist | 62 | 0.0 | 1 | A web interface to Antisplice dungeons. | (agpl, library, program, web) | 2016-04-04 | 0.1.0.30 | implementation |
| anticiv | 9 | 0.0 | 1 | This is an IRC bot for Mafia and Resistance. | (agpl, library, network, program) | 2014-09-14 | 0.1.0.5 | implementation |
| antisplice | 46 | 0.0 | 4 | An engine for text-based dungeons. | (agpl, game, library) | 2016-04-04 | 0.17.1.1 | implementation |
| apple | 11 | 2.0 | 0 | Apple array language compiler | (agpl, array, language, library, program) | 2024-09-10 | 0.3.0.0 | vmchale |
| artifact (deprecated) | 6 | 0.0 | 1 | Basic types and instances for Valve's Artifact Card-set API | (agpl, deprecated, game, library) | 2018-11-15 | 0.0.0.0 | |
| avif | 23 | 2.0 | 1 | High-level bindings to libavif | (agpl, codec, image, library) | 2023-08-13 | 0.1.2.1 | vmchale |
| blagda | 15 | 0.0 | 0 | Shake frontend for Agda blogging | (agpl, blog, library, program) | 2022-03-02 | 0.1.0.1 | isovector |
| blubber-server | 5 | 0.0 | 0 | The blubber server, serves blubber clients. | (agpl, game, library, program) | 2015-06-30 | 0.0.1 | alexander |
| brittany | 83 | 0.0 | 1 | Haskell source code formatter | (agpl, language, library, program) | 2022-01-13 | 0.14.0.2 | lspitzner, fozworth, dukerutledge |
| cabal-appimage | 77 | 0.0 | 0 | Cabal support for creating AppImage applications | (agpl, development, distribution, library, linux) | 2024-09-02 | 0.4.0.5 | GabrieleSales |
| chatty | 53 | 0.0 | 6 | Some monad transformers and typeclasses for text in- and output abstraction. | (agpl, library, text) | 2021-01-04 | 0.8.0.0 | implementation |
| chatty-text | 12 | 0.0 | 3 | Provides some classes and types for dealing with text, using the fundaments of Chatty. | (agpl, library, text) | 2016-04-05 | 0.6.2.1 | implementation |
| chatty-utils | 34 | 0.0 | 7 | Some utilities every serious chatty-based application may need. | (agpl, data, library) | 2021-01-04 | 0.7.3.5 | implementation |
| checkmate | 32 | 0.0 | 0 | Generate checklists relevant to a given patch | (agpl, development, library, program) | 2018-08-31 | 0.4.0 | hongminhee |
| cielo | 7 | 0.0 | 1 | Cielo API v3 Bindings for Haskell | (agpl, library, web) | 2016-11-17 | 0.1.2.0 | yamadapc |
| conditional-restriction-parser | 8 | 0.0 | 0 | Parser and interpreter of OpenStreetMap conditional restriction values | (agpl, library, parser, program) | 2022-09-08 | 0.1.0.5 | lbuchli |
| configifier | 29 | 0.0 | 1 | parser for config files, shell variables, command line args. | (agpl, configuration, data, library) | 2016-07-05 | 0.1.1 | MatthiasFischmann |
| corenlp-types | 5 | 0.0 | 0 | Types for interaction with CoreNLP | (agpl, language, library) | 2023-12-04 | 0.1.0.0 | cgenie |
| cryptsy-api (deprecated) | 14 | 0.0 | 1 | Bindings for Cryptsy cryptocurrency exchange API. | (agpl, deprecated, library, web) | 2015-04-11 | 0.2.1 | |
| debug-me | 26 | 0.0 | 1 | secure remote debugging | (agpl, program, utility) | 2022-12-31 | 1.20221231 | JoeyHess |
| diff-parse | 17 | 0.0 | 3 | A parser for diff file formats | (agpl, library, parsing) | 2015-02-15 | 0.2.1 | mulby, vengefulpickle |
| ema | 34 | 0.0 | 3 | Static site generator library with hot reload | (agpl, library, web) | 2023-08-09 | 0.10.2.0 | sridca |
| ema-extra | 5 | 0.0 | 0 | Useful route types for Ema | (agpl, library, web) | 2022-11-20 | 0.10.0.0 | sridca |
| ema-generics | 5 | 0.0 | 1 | Generic deriving for Ema routes | (agpl, library, web) | 2022-11-20 | 0.10.0.0 | sridca |
| email-validator | 18 | 0.0 | 1 | Perform basic syntax and deliverability checks on email addresses. | (agpl, program, utils) | 2024-05-15 | 1.8.7 | MichaelOrlitzky |
| emanote | 12 | 0.0 | 0 | Emanate a structured view of your plain-text notes | (agpl, library, program, web) | 2023-08-24 | 1.2.0.0 | sridca |
| espial | 46 | 0.0 | 0 | Espial is an open-source, web-based bookmarking server. | (agpl, library, web) | 2024-01-19 | 0.0.20 | jonschoning |
| fca | 4 | 0.0 | 1 | Algo for Formal Concept Analysis | (agpl, data, library) | 2014-07-12 | 0.1.0.2 | Rpr |
| feed-translator | 15 | 0.0 | 1 | Translate syndication feeds | (agpl, program, web) | 2015-09-04 | 0.1.0.2 | hongminhee |
| forex2ledger | 15 | 2.0 | 0 | Print Forex quotes in Ledger format | (agpl, finance, library, program) | 2021-07-28 | 1.0.0.2 | gregorias |
| gemcap | 10 | 0.0 | 0 | a simple Gemini capsule (server) | (agpl, gemini, library) | 2023-01-04 | 0.1.0.1 | jlamothe |
| gemmula-altera (deprecated) | 16 | 0.0 | 0 | A tiny gemtext converter for gemmula | (agpl, deprecated, gemini, library, program, text) | 2024-07-23 | 2.1.1 | jan_sena |
| ghc-mod (deprecated) | 292 | 2.75 | 5 | Happy Haskell Hacking | (agpl, deprecated, development, ghc, library, program) | 2017-06-11 | 5.8.0.0 | KazuYamamoto, DanielG |
| git-annex | 1026 | 2.0 | 1 | manage files with git, without checking their contents into git | (agpl, program, utility) | 2024-10-31 | 10.20241031 | JoeyHess |
| git-lfs | 85 | 0.0 | 0 | git-lfs protocol | (agpl, library, network) | 2024-02-01 | 1.2.2 | JoeyHess |
| git-repair | 98 | 2.0 | 1 | repairs a damaged git repository | (agpl, program, utility) | 2023-08-14 | 1.20230814 | JoeyHess |
| gloss-sodium | 8 | 0.0 | 1 | A Sodium interface to the Gloss drawing package. | (agpl, graphics, library) | 2014-10-30 | 0.1.0.0 | Twey |
| goatee | 30 | 0.0 | 2 | A monadic take on a 2,500-year-old board game - library. | (agpl, game, library) | 2021-01-25 | 0.4.0 | khumba |
| goatee-gtk | 32 | 0.0 | 1 | A monadic take on a 2,500-year-old board game - GTK+ UI. | (agpl, game, library, program) | 2021-01-25 | 0.4.0 | khumba |
| haeredes | 46 | 0.0 | 1 | Confirm delegation of NS and MX records | (agpl, dns, program, utils) | 2024-05-15 | 1.8.7 | MichaelOrlitzky |
| hahp | 14 | 0.0 | 0 | Analytic Hierarchy Process | (agpl, library, math, program) | 2016-02-22 | 0.1.3 | taeradan, jpierre03 |
| hannahci | 15 | 0.0 | 1 | Simple Continuous Integration/Deployment System | (agpl, development, program) | 2015-02-01 | 0.1.4.2 | Elzair |
| haskell-throttle | 10 | 0.0 | 0 | A simple throttling library, which drops messages from same group. | (agpl, concurrency, library) | 2024-07-31 | 0.1.0.1 | cgenie |
| hath | 46 | 2.0 | 1 | Manipulates network blocks in CIDR notation | (agpl, program, utils) | 2024-05-15 | 1.8.7 | MichaelOrlitzky |
| hb3sum | 14 | 0.0 | 0 | A command line tool to compute BLAKE3 hashes. | (agpl, cli, cryptography, program) | 2024-03-05 | 0.0.0.2 | SergeyAlirzaev |
| hevm | 70 | 2.0 | 0 | Symbolic EVM Evaluator | (agpl, ethereum, library) | 2024-02-26 | 0.53.0 | mbrock, MrChico, dxo |
| hls-brittany-plugin | 26 | 0.0 | 1 | Integration with the Brittany code formatter | (agpl, development) | 2022-12-26 | 1.1.0.0 | PepeIborra, Ailrun, berberman, jneira, hls_team |
| hopenpgp-tools | 248 | 0.0 | 1 | hOpenPGP-based command-line tools | (agpl, codec, data, program) | 2024-09-30 | 0.23.10 | ClintAdams |
| hoppy-docs | 29 | 0.0 | 1 | C++ FFI generator - Documentation | (agpl, foreign, library) | 2024-06-02 | 0.9.0 | khumba |
| hoppy-generator | 44 | 0.0 | 4 | C++ FFI generator - Code generator | (agpl, foreign, library) | 2024-06-02 | 0.9.0 | khumba |
| hscim | 20 | 0.0 | 1 | hscim json schema and server implementation | (agpl, library, program, web) | 2024-03-12 | 0.4.0.2 | MatthiasFischmann |
| hsendxmpp | 39 | 2.0 | 0 | sendxmpp clone, sending XMPP messages via CLI | (agpl, cli, network, program, xmpp) | 2024-06-18 | 0.1.3.2 | SergeyAlirzaev |
| htree | 18 | 0.0 | 0 | a library to build and work with heterogeneous, type level indexed rose trees | (agpl, data, library) | 2024-11-15 | 0.2.0.0 | mangoiv |
| http-barf | 13 | 0.0 | 0 | a library to make http requests without worrying much | (agpl, library, network) | 2024-08-24 | 0.1.1.0 | mangoiv |
| hypergeometric | 53 | 2.25 | 0 | Hypergeometric functions | (agpl, library, math, statistics) | 2024-10-31 | 0.1.5.1 | vmchale |
| implicit | 56 | 2.0 | 1 | A math-inspired programmatic 2D & 3D CAD system. | (agpl, graphics, library) | 2023-12-18 | 0.4.1.0 | ChristopherOlah, Juri_ |
| informative | 43 | 0.0 | 1 | A yesod subsite serving a wiki. | (agpl, library, program, web) | 2016-04-04 | 0.1.0.27 | implementation |
| instapaper-sender | 8 | 0.0 | 1 | Basic HTTP gateway to save articles to Instapaper | (agpl, program, web) | 2017-02-03 | 0.1.0.2 | MichaelSmith |
| intel-powermon | 10 | 0.0 | 0 | Poll modern Intel/AMD CPU power consumption on Linux via RAPL. | (agpl, cli, linux, program) | 2023-08-18 | 0.0.1 | SergeyAlirzaev |
| jacinda | 80 | 2.25 | 0 | Functional, expression-oriented data processing language | (agpl, data, interpreters, language, library, program, text) | 2024-10-29 | 3.2.0.1 | vmchale |
| keysafe | 58 | 0.0 | 1 | back up a secret key securely to the cloud | (agpl, program, utility) | 2020-02-14 | 0.20200214 | JoeyHess |
| khph | 7 | 0.0 | 1 | Command-line file tagging and organization tool | (agpl, program, system) | 2016-06-11 | 0.1.0 | khumba |
| lang | 12 | 0.0 | 1 | A Lisp | (agpl, language, library) | 2018-03-01 | 0.2.2 | Zaoqi |
| ldap-scim-bridge | 29 | 0.0 | 0 | See README for synopsis | (agpl, library, program, system) | 2024-03-14 | 0.9 | MatthiasFischmann, battermann |
| list-remote-forwards | 14 | 0.0 | 1 | List all remote forwards for mail accounts stored in a SQL database. | (agpl, mail, program, utils) | 2024-05-15 | 1.8.7 | MichaelOrlitzky |
| lp-diagrams | 32 | 0.0 | 2 | An EDSL for diagrams based based on linear constraints | (agpl, graphics, library) | 2020-10-20 | 2.1.4 | JeanPhilippeBernardy |
| mail-reports | 14 | 0.0 | 0 | A parser library for DMARC and SMTP TLS reports | (agpl, library, mail) | 2021-01-04 | 0.3.0.0 | implementation |
| mailbox-count | 24 | 0.0 | 1 | Count mailboxes in a SQL database | (agpl, mail, program, utils) | 2024-05-15 | 1.8.7 | MichaelOrlitzky |
| monad-choice | 13 | 0.0 | 0 | Monad, monad transformer, and typeclass representing choices. | (agpl, control, library) | 2020-03-27 | 0.2.0.0 | LouisH |
| neuron | 18 | 0.0 | 0 | Future-proof system for plain-text notes. | (agpl, library, program, web) | 2020-10-08 | 1.0.0.0 | sridca |
| nicovideo-translator | 23 | 0.0 | 1 | Nico Nico Douga (ニコニコ動画) Comment Translator | (agpl, library, program, translation) | 2017-04-15 | 0.3.0.0 | hongminhee |
| nix-freeze-tree | 10 | 0.0 | 0 | Convert a tree of files into fixed-output derivations | (agpl, application, library, nix, program) | 2023-12-05 | 0.1.1.0 | jack |
| no-recursion | 29 | 0.0 | 0 | A GHC plugin to remove support for recursion | (agpl, library, recursion) | 2024-10-28 | 0.1.2.2 | sellout |
| ohhecs | 12 | 0.0 | 0 | An Entity-Component-Systems engine core. | (agpl, game, game-engine, library) | 2024-07-11 | 0.0.2 | spacekitteh |
| opaleye-textsearch | 7 | 0.0 | 0 | Text search utilities for Opaleye | (agpl, database, library) | 2024-04-17 | 0.1.0.0 | cgenie |
| optparse-applicative-cmdline-util | 7 | 0.0 | 0 | Utility functions for working with optparse-applicative | (agpl, cli, library, options, parsing, system) | 2024-03-18 | 0.2.1 | TonyZorman |
| parochial | 10 | 0.0 | 0 | Help Manage project specific documentation | (agpl, development, documentation, library, program) | 2021-01-03 | 0.2.0.0 | filterfish |
| persona | 12 | 0.0 | 1 | Persona (BrowserID) library | (agpl, library, web) | 2016-03-28 | 0.2.0.0 | frasertweedale |
| persona-idp | 10 | 0.0 | 1 | Persona (BrowserID) Identity Provider | (agpl, program, web) | 2015-03-07 | 0.1.0.2 | frasertweedale |
| pg-harness (deprecated in favor of tempgres-client) | 18 | 0.0 | 1 | REST service and library for creating/consuming temporary PostgreSQL databases | (agpl, database-testing-web, deprecated, library, program) | 2015-05-09 | 0.2.1 | BardurArantsson |
| pg-harness-server (deprecated in favor of tempgres-client) | 21 | 0.0 | 1 | REST service for creating temporary PostgreSQL databases | (agpl, database-testing-web, deprecated, program) | 2019-06-26 | 0.6.2 | BardurArantsson |
| pi-hoole | 10 | 0.0 | 0 | Lightweight access control solution for the pijul vcs | (agpl, library, program, security) | 2018-05-05 | 0.2.0.0 | lethom |
| polysemy-scoped-fs | 8 | 0.0 | 0 | Well-typed filesystem operation effects. | (agpl, library, polysemy-filesystem) | 2022-04-23 | 0.1.0.0 | hisaketM |
| purebred-email | 43 | 0.0 | 0 | types and parser for email messages (including MIME) | (agpl, data, email, library) | 2023-10-25 | 0.6.0.2 | frasertweedale, romanofski |
| quenya-verb | 6 | 0.0 | 1 | Quenya verb conjugator | (agpl, language, library, program) | 2015-04-03 | 0.0.1 | kaashif |
| react-tutorial-haskell-server | 6 | 0.0 | 1 | react-tutorial web server | (agpl, program, web) | 2016-04-04 | 1.0.0 | alexander |
| reactive-banana-automation | 48 | 0.0 | 1 | home (etc) automation using reactive-banana | (agpl, frp, library, reactivity) | 2024-10-11 | 0.5.7 | JoeyHess |
| regex-rure | 26 | 0.0 | 0 | Bindings to Rust's regex library | (agpl, library, regex, text) | 2022-01-24 | 0.1.2.0 | vmchale |
| reloto | 10 | 0.0 | 0 | Equiprobable draw from publicly verifiable random data. | (agpl, library, politic) | 2021-08-30 | 2.1.0.20180829 | julm |
| ronn | 44 | 0.0 | 3 | Describe and render Ronn documentation | (agpl, documentation, library) | 2024-10-31 | 1.1.1.0 | PatrickBrisbin |
| ronn-envparse | 31 | 0.0 | 0 | Produce Ronn from OptEnvConf | (agpl, documentation, library) | 2024-10-31 | 1.0.1.0 | PatrickBrisbin |
| ronn-opt-env-conf | 29 | 0.0 | 0 | Produce Ronn from OptEnvConf | (agpl, documentation, library) | 2024-10-31 | 1.0.1.0 | PatrickBrisbin |
| ronn-optparse-applicative | 29 | 0.0 | 0 | Produce Ronn from OptEnvConf | (agpl, documentation, library) | 2024-10-31 | 1.0.1.0 | PatrickBrisbin |
| semdoc | 13 | 0.0 | 0 | Evaluate code snippets in Literate Haskell. | (agpl, development, library, program) | 2017-01-04 | 0.1.3 | iphydf |
| servant-xml-conduit | 11 | 0.0 | 0 | Servant XML content-type with support for xml-conduit | (agpl, library, web) | 2023-11-23 | 0.1.0.4 | cgenie |
| simplexmq | 34 | 2.0 | 0 | SimpleXMQ message broker | (agpl, chat, cryptography, library, network, program, system, web) | 2022-04-21 | 1.1.0 | epoberezkin, EfimPoberezkin |
| singnal | 8 | 0.0 | 1 | Singnal | (agpl, concurrency, library) | 2017-07-04 | 0.1.1.0 | Zaoqi |
| spline3 | 17 | 0.0 | 1 | Parallel implementation of the Sorokina/Zeilfelder spline scheme | (agpl, math, program) | 2024-05-15 | 1.8.7 | MichaelOrlitzky |
| stack-fix | 5 | 0.0 | 0 | Console program used to fix Stack build errors automatically | (agpl, development, program) | 2019-08-27 | 0.1.0.0 | freeman42x |
| stratum-tool | 8 | 0.0 | 1 | Client for Stratum protocol | (agpl, program, utils) | 2015-01-27 | 0.0.4 | JoelLehtonen |
| swiss-ephemeris | 54 | 0.0 | 0 | Haskell bindings for the Swiss Ephemeris C library | (agpl, astrology, data, library) | 2021-12-04 | 1.4.2.0 | lfborjas |
| symantic-base | 26 | 0.0 | 2 | Basic symantic combinators for Embedded Domain-Specific Languages (EDSL) | (agpl, data-structures, library) | 2023-01-25 | 0.5.0.20221211 | julm |
| symantic-document | 36 | 0.0 | 2 | Symantics combinators for generating documents. | (agpl, library, text) | 2021-08-31 | 1.5.3.20200320 | julm |
| symantic-parser | 14 | 0.0 | 0 | Parser combinators statically optimized and staged via typed meta-programming | (agpl, library, parsing) | 2021-08-31 | 0.2.1.20210803 | julm |
| tasklite | 8 | 2.0 | 0 | CLI task / todo list manager with SQLite backend | (agpl, cli, program, task, todo) | 2024-05-05 | 0.3.0.0 | adrian |
| tasklite-core | 7 | 2.0 | 0 | CLI task / todo list manager with SQLite backend | (agpl, cli, library, task, todo) | 2024-05-05 | 0.3.0.0 | adrian |
| taskwarrior | 90 | 0.0 | 0 | Types and aeson instances for taskwarrior tasks | (agpl, data, library, taskwarrior) | 2023-07-31 | 0.6.0.6 | maralorn |
| tasty-tmux | 23 | 0.0 | 1 | Terminal user acceptance testing (UAT) via tmux | (agpl, library, testing) | 2023-10-14 | 0.1.0.5 | frasertweedale, romanofski |
| tax | 19 | 0.0 | 2 | Types and combinators for taxes | (agpl, finance, library) | 2018-08-23 | 0.2.0.0 | frasertweedale |
| tax-ato | 17 | 0.0 | 0 | Tax types and computations for Australia | (agpl, finance, library) | 2024-07-15 | 2024.1.0.1 | frasertweedale |
| tempus-fugit | 10 | 2.0 | 0 | Programmers' time tracker | (agpl, library, program, utils) | 2015-08-12 | 0.1.0.1 | kadoban |
| trimdent | 17 | 2.0 | 0 | A utility for neat multiline string trimming | (agpl, library, string) | 2021-07-28 | 0.1.0.0 | gregorias |
| unbreak | 10 | 0.0 | 0 | Secure and resilient remote file storage utility | (agpl, library, network, program) | 2015-12-31 | 0.3.1 | kinoru |
| unclogging | 14 | 0.0 | 0 | a library which implements easy, concurrent and pretty logging | (agpl, concurrency, library, program) | 2024-10-10 | 0.1.0.3 | mangoiv |
| wai-static-cache | 13 | 0.0 | 1 | A simple cache for serving static files in a WAI middleware | (agpl, library, web) | 2014-09-25 | 0.1.0.1 | HugoGomes |
| y0l0bot | 13 | 0.0 | 1 | #plaimi's all-encompassing bot | (agpl, irc, program) | 2015-02-13 | 0.1.1 | alexander |
| yaya | 86 | 0.0 | 4 | Total recursion schemes. | (agpl, library, recursion) | 2024-10-23 | 0.6.2.2 | sellout |
| yaya-containers | 52 | 0.0 | 0 | Pattern functors and instances for types in the containers package. | (agpl, library, recursion) | 2024-10-23 | 0.1.2.1 | sellout |
| yaya-hedgehog | 48 | 0.0 | 0 | Hedgehog testing support for the Yaya recursion scheme library. | (agpl, library, recursion) | 2024-10-23 | 0.3.0.3 | sellout |
| yaya-quickcheck | 54 | 0.0 | 0 | QuickCheck testing support for the Yaya recursion scheme library. | (agpl, library, recursion) | 2024-10-23 | 0.2.0.2 | sellout |
| yaya-test (deprecated in favor of yaya-hedgehog) | 12 | 0.0 | 0 | Test suites for `yaya`. | (agpl, deprecated, recursion) | 2024-03-11 | 0.3.1.3 | sellout |
| yaya-unsafe | 71 | 0.0 | 0 | Non-total extensions to the Yaya recursion scheme library. | (agpl, library, recursion) | 2024-10-23 | 0.4.1.2 | sellout |
| yaya-unsafe-test (deprecated in favor of yaya-unsafe) | 9 | 0.0 | 0 | Test suites for `yaya-unsafe`. | (agpl, deprecated, recursion) | 2024-03-11 | 0.2.0.2 | sellout |
| yggdrasil | 6 | 0.0 | 1 | Executable specifications of composable cryptographic protocols. | (agpl, cryptography, library) | 2018-09-10 | 0.1.0.0 | semihonest |