Alinson S. Xavier

HiGHS. Linear optimization software

vhs. Your CLI home video recorder 📼

ascii-gif. Turn a terminal session into a good-looking animated GIF. A vhs wrapper with an attractive default look.

pico-cec. HDMI CEC to USB HID keyboard adapter

open-terminal. A computer you can curl ⚡

little-coder. A harness optimized to smaller LLMs

lucebox. Fast LLM speculative inference server for consumer hardware.

Konfetti. Celebrate more with this lightweight confetti particle system 🎊

rl4co. A PyTorch library for all things Reinforcement Learning (RL) for Combinatorial Optimization (CO)

CoCo-MILP. This is the code of CoCo-MILP: Inter-Variable Contrastive and Intra-Constraint Competitive MILP Solution Prediction. AAAI 2026 Oral.

dobase. Open-source, self-hosted workspace with installable tools. Mail, boards, docs, chat, todos, files, calendar, and video rooms. Deploy with ONCE, Kamal, or Docker.

glow. Render markdown on the CLI, with pizzazz! 💅🏻

crush. Glamourous agentic coding for all 💘

CorridorKey. Perfect Green Screen Keys

kon. Kon is a minimal coding agent (and also a highly opinionated one)

OPFLearn.jl. A Julia package that efficiently creates representative datasets for machine learning approaches to AC optimal power flow

nanoclaw. A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs directly on Anthropic's Agents SDK

tiktoken. tiktoken is a fast BPE tokeniser for use with OpenAI's models.

krita-ai-diffusion. Streamlined interface for generating images with AI in Krita. Inpaint and outpaint with optional text prompt, no tweaking required.

fluxgym. Dead simple FLUX LoRA training UI with LOW VRAM support

wakapi. 📊 A minimalist, self-hosted WakaTime-compatible backend for coding statistics

open-webui. User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

steam-deck-cec. CEC service installer for the Steam Deck. These services will make the Deck automatically turn the TV on and off when it wakes/sleeps.

PySCIPOpt-ML. Python interface to automatically formulate Machine Learning models into Mixed-Integer Programs

chessnutair. python script able to connect to the chessnut air board using bluetooth

ChessnutPy. Python

glance. A self-hosted dashboard that puts all your feeds in one place

MemTorch. A Simulation Framework for Memristive Deep Learning Systems

knockknock. A simple, secure, and stealthy port knocking implementation that does not use libpcap or bind to a socket interface.

sablier. Start your containers on demand, shut them down automatically when there's no activity. Docker, Docker Swarm Mode, Podman, Kubernetes and Proxmox LXC compatible.

prommis. Process Optimization and Modeling for Minerals Sustainability

rembg. Rembg is a tool to remove images background

chessdriller. Open-source chess opening practice. Free alternative to Chessable's spaced repetition / review feature.

APPFL. Advanced Privacy-Preserving Federated Learning framework

remarkable-update. force a full factory reset / re-update / upgrade

markdown. :notebook_with_decorative_cover: A package for converting and rendering markdown documents in TeX

vscode-todo-plus. Manage todo lists with ease. Powerful, easy to use and customizable.

FESTIV_MODEL. MATLAB

kanji-koohii. A web application to help Japanese language learners remember the kanji.

Graphs.jl. An optimized graphs package for the Julia programming language

NearestNeighbors.jl. High performance nearest neighbor data structures (KDTree and BallTree) and algorithms for Julia.

RICE. This is a repo that shows how to combine two powerful OS software, RELOG and PV_ICE.

XGBoost.jl. XGBoost Julia Package

codfish. UCI Chess Engine

reStream. Stream your reMarkable screen over SSH.

rmfuse. FUSE access to the reMarkable Cloud

RedefStructs.jl. Redefinable structures

ProtoStructs.jl. Easy prototyping of structs

subadditive. Python

notes. Minimalist wiki engine with LaTeX support

StaticCompiler.jl. Compiles Julia code to a standalone library (experimental)

ImHex. 🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

cutstock-gurobi. Cutting stock code for gurobi + python

InferOpt.jl. Combinatorial optimization layers for machine learning pipelines

ToQUBO.jl. 🟦 JuMP ToQUBO Automatic Reformulation

pytorch_geometric. Graph Neural Network Library for PyTorch

powergym. A Gym-like environment for Volt-Var control in power distribution systems.

VIPR. Verifying Integer Programming Results

Coluna.jl. Branch-and-Price-and-Cut in Julia

HiGHS.jl. A Julia interface to the HiGHS solver

jsonschema. JSON Schema validation

xyflow. React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely customizable.

Drawflow. Simple flow library 🖥️🖱️

Plasmo.jl. A Platform for Scalable Modeling and Optimization

Simplex.jl. Julia implementation of a revised simplex method for cpu and gpu

lazydocker. The lazier way to manage everything docker

gnn. TensorFlow GNN is a library to build Graph Neural Networks on the TensorFlow platform.

Brightness. Using Brightness Controller, you can control brightness of both primary and external displays in Linux. Check it out!

flameprof. Flamegraph generator for cProfile stats

or-gym. Environments for OR and RL Research

htmx. </> htmx - high power tools for HTML

DeepFaceLive. Real-time face swap for PC streaming or video calls

DocOpt.jl. command line arguments parser

scip. SCIP - Solving Constraint Integer Programs

FirstOrderLp.jl. Experimental first-order solvers for linear and quadratic programming.

cryptii. A web app for modular conversion, encoding, and encryption, all performed directly in your browser with no server interaction

replacing-bash-scripting-with-python. Guide on using using python for administrative scripting

PackageCompiler.jl. Compile your Julia Package

nvidia_smi_exporter. nvidia-smi exporter for Prometheus

sql.js-httpvfs. Hosting read-only SQLite databases on static file hosters like Github Pages

noannoyance. JavaScript

MathOptPresolve.jl. Presolve routines for mathematical optimization

grid2op. Grid2Op a testbed platform to model sequential decision making in power systems.

croc. Easily and securely send things from one computer to another :crocodile: :package:

StochasticPrograms.jl. Julia package for formulating and analyzing stochastic recourse models.

ProgressiveHedging.jl. Basic progressive hedging implementation in Julia

ignite. Ignite a Firecracker microVM

JuliaFormatter.jl. An opinionated code formatter for Julia. Plot twist - the opinion is your own.

cowyo. A feature-rich wiki webserver for minimalists :cow: :speech_balloon:

borg. Deduplicating archiver with compression and authenticated encryption.

Prescient. Prescient production cost modeling platform

Tulip.jl. Interior-point solver in pure Julia

UC-data. Unit commitment case studies

RTS-GMLC. Reliability Test System - Grid Modernization Lab Consortium

ecole. Extensible Combinatorial Optimization Learning Environments

vosk-android-demo. Offline speech recognition for Android with Vosk library.

bluetoothserial. Android bluetooth serial class to make creating connecting and reading from the inputstreams easy. Wraps all the internals into a single class, just need to instantiate and call connect.

pomatez. Stay Focused. Take a Break.

MIPLearn.jl. Julia interface for MIPLearn, an extensible framework for Learning-Enhanced Mixed-Integer Optimization

qubovert. The one-stop package for formulating, simulating, and solving problems in boolean and spin form

tqdm. :zap: A Fast, Extensible Progress Bar for Python and CLI

Bouncer. A private SMS filtering application for iOS

hetzner-ddns. Hetzner dynamic DNS updater

RELOG. RELOG: Reverse Logistics Optimization

UnitCommitment.jl. Extensible Julia/JuMP optimization package for Security-Constrained Unit Commitment (SCUC)

ProgressBars.jl. A Julia clone of https://pypi.python.org/pypi/tqdm

p_tqdm. Parallel processing with progress bars

github-markdown-toc. Easy TOC creation for GitHub README.md

MIPLearn. Framework for solving discrete optimization problems using a combination of Mixed-Integer Linear Programming (MIP) and Machine Learning (ML)

habitctl. Minimalist command line tool you can use to track and examine your habits.

gradle-play-publisher. GPP is Android's unofficial release automation Gradle Plugin. It can do anything from building, uploading, and then promoting your App Bundle or APK to publishing app listings and other metadata.

Hauk. Open-source realtime location sharing

Slide. Slide is an open-source, ad-free Reddit browser for Android.

TaxiSimulation. Julia

or-rl-benchmarks. The source code for the paper: 'ORL: Reinforcement Learning Benchmarks for Online Stochastic Optimization Problems'

slim. Build and run tiny vms from Dockerfiles. Small and sleek.

natsort. Simple yet flexible natural sorting in Python.

ApplicationBuilder.jl. [deprecated] Compile, bundle, and release julia software

Seaborn.jl. Julia wrapper for Seaborn

Egret. Tools for building power systems optimization problems

CPLEXW. Unofficial low-level Julia wrapper for IBM® ILOG® CPLEX®

SCIP.jl. Julia interface to SCIP solver

github-contribs. :octocat: List all GitHub repos a user has contributed to since the beginning of time.

tornadofx. Lightweight JavaFX Framework for Kotlin

NEOSServer.jl. A Julia interface for the NEOS Optimisation Server

Kodein. Painless Kotlin Dependency Injection

pglib-opf. Benchmarks for the Optimal Power Flow Problem

Normaliz. Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.

TimerOutputs.jl. Formatted output of timed sections in Julia

Digital-Ocean-Dynamic-DNS-Updater. Digital Ocean Dynamic DNS Updater

thumbsup. Generate static HTML photo / video galleries

rust-blas. BLAS bindings for Rust

nv-websocket-client. High-quality WebSocket client implementation in Java.

sklearn-porter. Transpile trained scikit-learn estimators to C, Java, JavaScript and others.

rusqlite. Ergonomic bindings to SQLite for Rust

python-graph-clustering. A collection of Python scripts that implement various graph clustering algorithms, specifically for identifying protein complexes from protein-protein interaction networks.

truffle. :warning: The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.

pycddlib. A Python wrapper for Komei Fukuda's cddlib.

sumatrapdf. SumatraPDF reader

Cmathtuts. trying to collect all useful tutorials for famous C math and linear algebra libraries such as CBLAS, CLAPACK, GSL...

gocryptfs. Encrypted overlay filesystem written in Go

AppImageKit. Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on irc.libera.chat

react-native-nw-react-calculator. Mobile, desktop and website Apps with the same code

JFoenix. JavaFX Material Design Library

sqlite-jdbc. SQLite JDBC Driver

gdb-dashboard. Modular visual interface for GDB in Python

multirow. Source code for my papers on multi-row intersection cuts

ActivityLog2. Analyze data from swim, bike and run activities

dns66. DNS-based Host Blocker (and lightweight ad blocker) for Android

block-this. Block This - FREE DNS based Ad Blocker for Android

Gadgetbridge. We are on codeberg.org now! https://codeberg.org/Freeyourgadget/Gadgetbridge - Gadgetbridge - A free and cloudless replacement for your gadget vendors' closed source Android applications. Supports Pebble, Mi Band, Liveview, HPlus and more.

ipython-unittest. Add unittest cell magics to IPython for easily running tests

pytest-watch. Local continuous test runner with pytest and watchdog.

quickftp. Command line application that allows to quickly start an ftp server without worrying about configuration. This makes it a handy tool to transfer files easily.

TMSU. TMSU lets you tags your files and then access them through a nifty virtual filesystem from any other application.

dagger2-examples. Examples of dependency injection with Dagger2

expensius. Kotlin

serve. Simple command-line file / directory server built with connect - supports stylus, jade, etc

dexcount-gradle-plugin. A Gradle plugin to report the number of method references in your APK on every build.

ajv. The fastest JSON schema Validator. Supports JSON Schema draft-04/06/07/2019-09/2020-12 and JSON Type Definition (RFC8927)

socket.io-client-java. Full-featured Socket.IO Client Library for Java, which is compatible with Socket.IO v1.0 and later.

andlytics. Google Play - Android Market statistics app

narrate-android. Narrate is a beautiful and functional open source journal for Android

anki. Anki is a smart spaced repetition flashcard program

steamcontroller. Standalone Steam Controller Driver

libmypaint. libmypaint, a.k.a. "brushlib", is a library for making brushstrokes which is used by MyPaint and other projects.

mypaint. MyPaint is a simple drawing and painting program that works well with Wacom-style graphics tablets.

simpletimer. A simple timer for Android Wear

gtsp. Exact solver for the Generalized Traveling Salesman Problem

uhabits. Loop Habit Tracker, a mobile app for creating and maintaining long-term positive habits

scholarium. Visualize and explore scientific papers as a network

sshuttle. Wrong project! You should head over to http://github.com/sshuttle/sshuttle