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

Lean 4 programming language and theorem prover

More routines for operating on iterables, beyond itertools

Linux kernel source tree

Linear optimization software

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

Bitcoin Core integration/staging tree

A high performance caching library for Java

A privacy-first, open-source home assistant

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

Make Zotero effective for us LaTeX holdouts

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

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

jQuery JavaScript Library

A modern app that brings the jewish library to every device

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

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.