General meta-Heuristic Optimization Solving Toolkit
☆40Oct 8, 2025Updated 5 months ago
Alternatives and similar repositories for GHOST
Users that are interested in GHOST are comparing it to the libraries listed below
Sorting:
- Install, update and remove AppImage from your CLI. appimage, linux, package-manager☆19May 21, 2025Updated 9 months ago
- A Julia package for Interpretable Compositional Networks (ICN), a variant of neural networks, allowing the user to get interpretable resu…☆13Jun 11, 2025Updated 8 months ago
- Python constraint programming library☆24Mar 1, 2026Updated last week
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- A Julia package to manage Constraint-Based Local Search (CBLS) solvers.☆29Feb 16, 2026Updated 3 weeks ago
- Mixed-Integer Convex Programming: Branch-and-bound with Frank-Wolfe-based convex relaxations☆36Updated this week
- An Accordion Control for wxWidgets☆30Oct 17, 2015Updated 10 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- A program for automatically resolving #ifdef statements in C code.☆37Nov 7, 2024Updated last year
- Feasibility Pump Collection☆16Jul 6, 2023Updated 2 years ago
- A chess game based on the engine written for Console Chess, featuring a GUI using the wxWidgets-framework.☆10Jan 29, 2023Updated 3 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- DEFT-FUNNEL: An open-source global optimization solver for constrained grey-box and black-box problems in Matlab.☆11Jun 29, 2021Updated 4 years ago
- A small library written in c++ that uses libcurl to be able to send emails with binary attachments.☆10Nov 14, 2023Updated 2 years ago
- Copy recursively all email messages and folders from 1 imap account to another☆13Updated this week
- A bash tool to create bootable images using Ansible, Docker and Dracut☆18Dec 16, 2024Updated last year
- A memctl core for jailbroken iOS devices.☆11May 14, 2018Updated 7 years ago
- An experimental lexer and parser generator☆10Jul 31, 2018Updated 7 years ago
- Tutorial for Java bots for SC:BW☆10Sep 30, 2022Updated 3 years ago
- An knowledge graph for data structures and algorithms in markdown format☆12Jul 22, 2022Updated 3 years ago
- A python parser of the JMdict file.☆11Feb 4, 2018Updated 8 years ago
- from https://sourceforge.net/projects/libquickmail/☆12Apr 16, 2020Updated 5 years ago
- Safety Risk Reliability Model Library☆12Jan 23, 2025Updated last year
- A simple dictionary in Manchu, Chinese and English.☆13Feb 27, 2015Updated 11 years ago
- NS3 module for simulating DOCSIS 3.1 links☆16Apr 5, 2024Updated last year
- JNDLE 字道 —— 倉頡版 Wordle☆10Feb 8, 2022Updated 4 years ago
- 16pixels.css is a set of CSS rules to ensure consistent 16 pixels based typography. Pixels are used for font sizes and line heights, as w…☆25Apr 1, 2025Updated 11 months ago
- Interactive canvas widget with shapes for OpenCV 3.X☆10Jun 24, 2018Updated 7 years ago
- Intuitive functional programming interface for LaTeX2☆13Dec 21, 2024Updated last year
- ☆11Feb 8, 2020Updated 6 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A Windows application to monitor both Git and SVN repositories.☆11Mar 6, 2021Updated 5 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- Inventor Mentor examples for Coin☆10Jan 4, 2026Updated 2 months ago
- A useful tool for identifying the architecture, platform type, compiler, and operating system specifications by preprocessor feature supp…☆13Apr 22, 2022Updated 3 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Concise monadic parser combinator library with separate lexer/parser phases, off-side rule and big-size input support.☆11Dec 6, 2024Updated last year
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- Drone Classification from radar data. Challenge from the special forces of canada, for Hack the North 2020++☆10Mar 28, 2022Updated 3 years ago