Stars
Common Interface to Boolean Satisfiability Solvers from Common Lisp
Find legal citations in any block of text
Access large archives as a filesystem efficiently, e.g., TAR, RAR, ZIP, GZ, BZ2, XZ, ZSTD archives
An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
A set of spiders and scrapers to extract location information from places that post their location on the internet.
A Python library for reading and writing PDF, powered by QPDF
Model and JSON serialization of annotations associated with EPUB and Web Publications
A markup-based typesetting system that is powerful and easy to learn.
A MIDI file player/game that displays the musical notes and teaches you how to play the piano.
A fully-searchable and accessible archive of court data including growing repositories of opinions, oral arguments, judges, judicial financial records, and federal filings.
Scapy: the Python-based interactive packet manipulation program & library.
Automagically synchronize subtitles with video.
Tilt the floor to roll a ball through an obstacle course before time runs out.
Display & emulate interactive gamepads in the browser using the native gamepad api. Modular with zero dependencies.
Python interface to the awesome mpv media player
A cross platform Bluetooth Low Energy Client for Python using asyncio
A tool for converting dictionary files aka glossaries. Mainly to help use our offline glossaries in any Open Source dictionary we like on any operating system / device.
Open-source offline translation library written in Python
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
A MicroPython based development environment for smart watches (including Pine64 PineTime)
chess variant engine supporting Xiangqi, Shogi, Janggi, Makruk, S-Chess, Crazyhouse, Bughouse, and many more
A set of web-components to build declarative virtual gamepad layouts
BizHawk is a multi-system emulator written in C#. BizHawk provides nice features for casual gamers such as full screen, and joypad support in addition to full rerecording and debugging tools for al…