khzouroussama / SatHeuristicSolverGuiView external linksLinks
a GUI for satHeuristicSolver made with ElectronJS + reactJS
☆10Oct 5, 2023Updated 2 years ago
Alternatives and similar repositories for SatHeuristicSolverGui
Users that are interested in SatHeuristicSolverGui are comparing it to the libraries listed below
Sorting:
- a small programming language that runs on the JVM and uses Quadruples as an intermediate Code☆16Feb 28, 2024Updated last year
- ORSH - is an Oranios simple shell written in order to understand how shells work .☆12Jun 12, 2024Updated last year
- Example application showing how to use multi-table design with GraphQL and DynamoDB☆16Dec 5, 2023Updated 2 years ago
- This repository is designed to help newcomers and enthusiasts alike delve into the world of C programming through various tasks.☆14Oct 19, 2023Updated 2 years ago
- The TastyIgniter documentation☆11Aug 27, 2025Updated 5 months ago
- a JavaFX stock manager app☆40Dec 7, 2021Updated 4 years ago
- A command line ALX checker.☆10Aug 3, 2023Updated 2 years ago
- An over compilcated blog to show case some microservices consepts 😅☆11Jan 12, 2023Updated 3 years ago
- ☆11Jun 8, 2020Updated 5 years ago
- Petting website generator, originally made for SimplyNick on Twitch - https://dman.wants.pet - https://foxgirl.wants.pet - https://marisa…☆11Feb 16, 2021Updated 4 years ago
- This GitHub repository serves as a comprehensive collection of projects aimed at enhancing your shell scripting skills and command-line p…☆16Jul 11, 2023Updated 2 years ago
- Config files for my GitHub profile.☆12Jan 31, 2025Updated last year
- Convert strings to boolean.☆10Jul 29, 2022Updated 3 years ago
- Dynamic Neural Network☆11Feb 28, 2025Updated 11 months ago
- ☆10Sep 4, 2023Updated 2 years ago
- A Laravel Nova card for Cloudflare☆10Sep 26, 2020Updated 5 years ago
- Git-style subcommands done right☆10Oct 20, 2018Updated 7 years ago
- Tableau-based reasoner for ALCQ description logic☆12May 1, 2020Updated 5 years ago
- A simple gift for my self in my birthday,I hope my self will achieve her goals,ambitious, wiches and more sucssess☆11Mar 27, 2024Updated last year
- Sample laravel multilanguage API response. https://medium.com/teknomuslim/multi-language-api-response-messages-in-laravel-5c9029a32e5c☆11Apr 18, 2017Updated 8 years ago
- Homestead Grasshopper is a script that automatically adds sites in the Laravel Homestead (Vagrant) environment and “hosts” file. More pre…☆11Nov 30, 2017Updated 8 years ago
- ☆11Nov 4, 2024Updated last year
- Regular Expression for Algerian Mobile Phone Numbers☆53Aug 12, 2017Updated 8 years ago
- Advanced data containers for D☆13Jan 17, 2026Updated 3 weeks ago
- ☆13Dec 27, 2020Updated 5 years ago
- TEMPORARILY ON HOLD☆11Dec 31, 2017Updated 8 years ago
- A Laravel Nova XLS & CSV importer☆17Feb 26, 2022Updated 3 years ago
- Avec l'émergence des TIC et la démocratisation de la production de contenu sur internet, on assiste à un tsunami informationnel. Ce derni…☆13Jan 13, 2019Updated 7 years ago
- Setup and manage nginx and php websites☆17Aug 3, 2022Updated 3 years ago
- PHP Phiber framework - Build light-weight lightning-fast PhP applications with Phiber☆18Feb 22, 2016Updated 9 years ago
- D library for IMAP (JMAP is a work-in-progress but the basics work)☆14Sep 8, 2024Updated last year
- Hotel management app☆14Feb 4, 2024Updated 2 years ago
- A library to trigger an action if the user is idle☆17Jan 1, 2024Updated 2 years ago
- ☆17Apr 28, 2025Updated 9 months ago
- It started as connect/express middleware to enable back the `req.param(name,default)` API depricated in express 4, but it now does a litt…☆15May 14, 2017Updated 8 years ago
- ASP.NET Web Optimization for ASP.NET 4.x applications☆16Aug 13, 2018Updated 7 years ago
- An example Nuxt.js project for nested routes (pages) with page transitions.☆21Oct 7, 2023Updated 2 years ago
- Beast language compiler & reference☆15Jan 25, 2019Updated 7 years ago
- ☆10Feb 19, 2021Updated 4 years ago