Apache Trusted Releases

Microsoft BASIC for 6502 Microprocessor - Version 1.1

ACL2 System and Books as Maintained by the Community

Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq

Perl (XS) module implementing prime number utilities, including sieves

Algorithmic Information Theory, using Binary Lambda Calculus

A place to freely exchange books

Rich web editor in JavaScript, allowing WYSIWYG HTML5 editing

A web-based keypair authentication system.

Concise implementation of a lisp-like language for low-end and embedded devices

Quick and flexible irc bot, extensible in any language

A corpus of RSS feed data.

Duxlot is a Python3 IRC bot created by the maker of the popular Phenny. Features include a fast multiprocess based architecture, modularity, and ease of use. Duxlot has no dependencies except Pytho…

Creates isolated subpages within a webpage

jQuery plugin for vector image scaling user interface controls

CoffeeScript-Object-Notation. Same as JSON but for CoffeeScript objects.

Checks the consistency of static websites

`pngwolf` uses a genetic algorithm to find PNG scanline filter combinations that compress well

`pngwolf` uses a genetic algorithm to find PNG scanline filter combinations that compress well

A simple modular IRC bot written in bash. (Do yourself a favour and don't use it in production!)

like a slideshow, but with a typo to make people not like it ever

The scariest zap node ever

the scariest zap node ever

Python IRC bot

Espra: A platform to enable a decentralized economic protocol