This library implements the RSA encryption and signature algorithms for arbitrarily-sized ByteStrings. While the implementations work, they are not necessarily the fastest ones on the planet. Particularly key generation. The algorithms included are based of RFC 3447, or the Public-Key Cryptography Standard for RSA, version 2.1 (a.k.a, PKCS#1 v2.1).

Generic cryptography public keys algorithm types.

Law-abiding lenses for aeson.

API docs and the README are available at <http://www.stackage.org/package/authenticate-oauth>.

Wuss is a library that lets you easily create secure WebSocket clients over the WSS protocol. It is a small addition to <https://hackage.haskell.org/package/websockets the websockets package> and is adapted from existing solutions by <https://gist.github.com/jaspervdj/7198388 @jaspervdj>, <https://gist.github.com/mpickering/f1b7ba3190a4bb5884f3 @mpickering>, and <https://gist.github.com/elfenlaid/7b5c28065e67e4cf0767 @elfenlaid>.

A web client library that is designed for ease of use. . Tutorial: <http://www.serpentine.com/wreq/tutorial.html>. Features include: Simple but powerful `lens`-based API, a solid test suite, and built on reliable libraries like http-client and lens, session handling includes connection keep-alive and pooling, and cookie persistence, automatic response body decompression, powerful multipart form and file upload handling, support for JSON requests and responses, including navigation of schema-less responses, basic and OAuth2 bearer authentication, and early TLS support via the tls package.

Cubescript is a minimal scripting language first introduced in the Cube FPS and carried over into derived games and game engines such as Sauerbraten. Originally being little more than a few hundred lines of code, serving primarily as the console and configuration file format of the game, it grew more advanced features as well as a bytecode VM.

Nowadays, it is a minimal but relatively fully featured scripting language based around the concept that everything can be interpreted as a string. It excels at its original purpose as well as things like text preprocessing. It comes with a Lisp-like syntax and a variety of standard library functions.

Libcubescript is a project that aims to provide an independent, improved, separate implementation of the language, available as a library, intended to satisfy the needs of the OctaForge project. It was originally forked from Cubescript as present in the Tesseract game/engine and gradually rewritten; right now, very little of the original code remains. At language level it is mostly compatible with the other implementations (although with a stricter parser and extra features), while the standard library does not aim to be fully compatible. Some features are also left up to the user to customize, so that it is not tied to game engines feature-wise.

Like the codebase it is derived from, it is available under the permissive zlib license, and therefore compatible with just about anything.

This library is a data validation/contract library. It may be used for configuration data, validating an api response, or documents from a datastore. In a dynamically typed language, it helps clearly define areas of doubt and uncertainty. We should love our users, but we should never blindly trust their inputs.

This library provides a WebSocket server and client implementation for Common Lisp.

TODO

Arillus is a large, but modular, library bringing some of the better parts of Haskell and Category Theory to Common Lisp. Unlike Coalton, it is not statically-typed, nor is it really intended to enforce a strictly-functional style of programming. Instead, it is intended to provide stronger checks to Common Lisp’s dynamic typing, a loose implementation of typeclassing, and a family of new functions and methods.

ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. 'ACL2' denotes 'A Computational Logic for Applicative Common Lisp'.

ACL2 is part of the Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System Award.

This package installs the ACL2 executable only.

Araneae is a small library intended to provide a handful of utilities for working with libraries such as dexador or jzon. Taking a type-based approach, it aims for both speed and correctness.

This package provides a utility library for the Hy programming language.

Python bindings for the libwayland library written in pure Python.

Python binding to the wlroots library using cffi.

Bindings for libxkbcommon using cffi.

Owl Lisp is a simple programming language. It is intended to provide a portable system for writing standalone programs in a subjectively pleasant dialect of Lisp. It has a minimal core and runtime, purely functional operation, and support for asynchronous evaluation.

This package provides an animated theme for SDDM with aesthetics based off the anime Serial Experiments Lain

To make use of this derivation, use "source" zsh-powerlevel10k "/share/zsh/plugins/zsh-powerlevel10k/powerlevel10k.zsh-theme"

Qtile is simple, small, and extensible. It's easy to write your own layouts, widgets, and built-in commands.

TODO