A set of tools to keep your pinned Python dependencies fresh.

Lean 4 programming language and theorem prover

Linux kernel source tree

More routines for operating on iterables, beyond itertools

A privacy-first, open-source home assistant

💫 Industrial-strength Natural Language Processing (NLP) in Python

Make Zotero effective for us LaTeX holdouts

Python implementations of approval-based committee (multi-winner) voting rules

Linear optimization software

Bitcoin Core integration/staging tree

☕️ simple, flexible, fun javascript test framework for node.js & the browser

jQuery JavaScript Library

A high performance caching library for Java

A modern app that brings the jewish library to every device

Node.js Production Process Manager with a built-in Load Balancer.

Animated sprite editor & pixel art tool (Windows, macOS, Linux)

Implementations of programming design patterns in Unity with examples in C# when to use them.

Bridge API to connect with existing Java APIs.

Participatory Budgeting Platform

📜 Generates table of contents for markdown files inside local git repository. Links are compatible with anchors generated by github or other sites.

The lightweight library for manipulating and animating SVG

NodeJS Implementation of Decision Tree using ID3 Algorithm

Install script for TeX Live on Ubuntu

Just-in-time compilation for delay differential equations

Simple implementation of the a-star algorithm in Python 🌟

Machine-learning for Node.js

Algorithms and data structures for preparing programming competitions: basic and advanced

Distribution of weighted items to bins (either a fixed number of bins or a fixed number of volume per bin). Data may be in form of list, dictionary, list of tuples or csv-file.