Add Clojure support to Flycheck. Provide syntax checkers to check Clojure code using a running Cider repl. Installation: (eval-after-load flycheck (flycheck-clojure-setup)).

Emacs mode for GNU APL This mode provides both normal editing facilities for APL code as well as an interactive mode. The interactive mode is started using the command ‘gnu-apl’. The mode provides two different ways to input APL symbols. The first method is enabled by default, and simply binds keys with the "super" modifier. The problem with this method is that the "super" modifier has to be enabled, and any shortcuts added by the operating system that uses this key has to be changed. The other method is a bit more cumbersome to use, but it's pretty much guaranteed to work everywhere. Simply enable the input mode using C-\ (‘toggle-input-method’) and choose APL-Z. Once this mode is enabled, press "." (period) followed by a letter to generate the corresponding symbol.

Kaomojis are eastern/Japanese emoticons, which are usually displayed horizontally, as opposed to the western vertical variants (":^)", ";D", "XP", ...). To achieve this they make much more use of more obscure and often harder to type unicode symbols, which often makes it more difficult to type, or impossible if you don't know the symbols names/numbers. This package tries to make it easier to use kaomojis, by using `completing-read and different categories. The main user functions are therefore `insert-kaomoji to insert a kaomoji at point, and `insert-kaomoji-into-kill-ring to push a kaomoji onto the kill ring. The emoticons aren't stored in this file, but (usually) in the KAOMOJIS file that should be in the same directory as this source file. This file is parsed during byte-compilation and then stored in `insert-kaomoji-alist'. The kaomojis in KAOMOJIS have been selected and collected from these sites: - https://wikileaks.org/ciav7p1/cms/page_17760284.html - http://kaomoji.ru/en/ - https://en.wikipedia.org/wiki/List_of_emoticons.

Nerd Fonts patches developer targeted fonts with a high number of glyphs (icons). Specifically to add a high number of extra glyphs from popular ‘iconic fonts’ such as Font Awesome, Devicons, Octicons, and others.

Nerd Fonts patches developer targeted fonts with a high number of glyphs (icons). Specifically to add a high number of extra glyphs from popular ‘iconic fonts’ such as Font Awesome, Devicons, Octicons, and others.

Nerd Fonts patches developer targeted fonts with a high number of glyphs (icons). Specifically to add a high number of extra glyphs from popular ‘iconic fonts’ such as Font Awesome, Devicons, Octicons, and others.

Nerd Fonts patches developer targeted fonts with a high number of glyphs (icons). Specifically to add a high number of extra glyphs from popular ‘iconic fonts’ such as Font Awesome, Devicons, Octicons, and others.

Nerd Fonts patches developer targeted fonts with a high number of glyphs (icons). Specifically to add a high number of extra glyphs from popular ‘iconic fonts’ such as Font Awesome, Devicons, Octicons, and others.

Nerd Fonts patches developer targeted fonts with a high number of glyphs (icons). Specifically to add a high number of extra glyphs from popular ‘iconic fonts’ such as Font Awesome, Devicons, Octicons, and others.

Nerd Fonts patches developer targeted fonts with a high number of glyphs (icons). Specifically to add a high number of extra glyphs from popular ‘iconic fonts’ such as Font Awesome, Devicons, Octicons, and others.

Graze is a command-line tool used for complex guix shell invocations, where a simple manifest does not suffice. Through the use of a shell.scm file, it allows for a declarative approach to Guix development environments, and a project templating system inspired by Nix's flake templates.

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

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.

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

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.

linnaeus, like other common lisp utility libraries, is a collection of functions, macros, types, and classes. where linnaeus differs is that its primary aim is to remain free of external dependencies (beyond UIOP and ASDF) and therefore usable in restricted systems and environments.

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

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

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

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.