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>.

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

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.

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.

This package provides a Common Lisp web framework for building GUI applications. CLOG can take the place, or work along side, most cross platform GUI frameworks and website frameworks. The CLOG package starts up the connectivity to the browser or other websocket client (often a browser embedded in a native template application).

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.

Dexador is yet another HTTP client for Common Lisp with neat APIs and connection-pooling. It is meant to supersede Drakma.

TODO

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.

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

Bindings for libxkbcommon using cffi.

Python bindings for the libwayland library written in pure Python.

Python binding to the wlroots library 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

The cl-planks library provides a language for expressing data manipulations as the composition of more primitive operations.

cl-gendoc is a simple component-based documentation generator.

Common Lisp Music is a music synthesis and signal processing package in the Music V family.

cl-osc is a common lisp implementation of the Open Sound Control Protocol aka OSC. The code should be close to the ansi standard, and does not rely on any external code/ffi/etc+ to do the basic encoding and decoding of packets.