SimpliMap is a Flutter app for creating, visualizing and minimizing Boolean expressions using Karnaugh maps (K-maps). It provides a solver UI, step-by-step minimization, and components to explore K-map grouping and simplified expressions.

A tool for checking, sanitizing and minimizing GTFS feeds.

Development starter template based on the Gulp builder

Simulated Annealing with Modern Fortran

Explore the depths of Python with advanced concepts like metaprogramming, memory management, asyncio, concurrency, CPython internals, testing, and automation. Learn, practice, and master Python’s full potential

A free, open-source Java library for automata, graphs, and transition systems

A header-only C++ library for numerical optimization --

Newton and Quasi-Newton optimization with PyTorch

a lightweight header-only C++17 library of numerical optimization methods for (un-)constrained nonlinear functions and expression templates

Reporting and notifications regarding dependencies and sizes of Fedora-based workloads.

Protein energy minimization and visualizations

A window minimization manager for Hyprland that adds the missing minimize functionality with thumbnail previews, Rofi integration, and Waybar support. Minimizes windows by moving them to a special workspace and provides intuitive menus to restore them.

Cuts out all unnecessary and optimizes styles in FODS documents to make it much easier to solve conflicts of merging in version control systems.

Advanced Coarse-Grained Membrane Simulation

C++ L-BFGS implementation using plain STL

A collection of simple Operations Research / Optimization Techniques programs

Web app for minimizing expressions using Quine-McCluskey from JS oracle, truth table, or SAT instance with don’t-cares, DNF/CNF conversion, Karnaugh maps, and logic circuits.

A tool to help with minimization of Rust code

Curvature-Adaptive Autonomous Basin Climbing for PES exploration

A small script that uses pymoo to create balanced teams