A modular, high performance, headless e-commerce platform
Handle all the hard stuff related to EU MOSS tax/vat regulations
Upstream development repository for Cabal and cabal-install
Laravel Cashier provides an expressive, fluent interface to Stripe
Build a standard implementation of lightweight Virtual Machines (VMs)
This is a library to use with Robinhood Financial App
Libraries for Analysis, with frontends for Java, Android, and JS
GeneticSharp is a fast, extensible, multi-platform and multithreading
Sokoban solver written in Ada
Framework for intelligent service-based networks. Mobile compatible.
Triton is a dynamic binary analysis library
Mixed Integer Linear Programming (MILP) solver
Java language binding for the GNU Linear Programming Kit (GLPK)
Go dependency management tool experiment
Automatic solver of a minesweeper game
Sample/Actual payroll program/book in PHP and MySQL
Generate and solve Travelling Salesman Problem tasks
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
Fills a rectangle using given tetris shapes
JavaPOS implementation and more, for Brazilian Retail applications
gdeptrace dependancy solver correct for pkg or make deps
DisChoco: Distributed Constraint Reasoning Solver
JBernstein: Exploration techniques for non-linear constraint checking
The easiest C++ way to deal with constraints !