a GUI for satHeuristicSolver made with ElectronJS + reactJS
☆10Oct 5, 2023Updated 3 years ago
Alternatives and similar repositories for SatHeuristicSolverGui
Users that are interested in SatHeuristicSolverGui are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a small programming language that runs on the JVM and uses Quadruples as an intermediate Code☆16Feb 28, 2024Updated 2 years ago
- Example application showing how to use multi-table design with GraphQL and DynamoDB☆16Dec 5, 2023Updated 2 years ago
- ORSH - is an Oranios simple shell written in order to understand how shells work .☆12Jun 12, 2024Updated 2 years ago
- ☆16Apr 28, 2025Updated last year
- This repository is designed to help newcomers and enthusiasts alike delve into the world of C programming through various tasks.☆16Oct 19, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [MIRROR OF https://gitlab.inria.fr/discovery/enoslib] A library to build experimental frameworks on various platforms☆10Sep 2, 2026Updated 2 months ago
- A command line ALX checker.☆10Aug 3, 2023Updated 3 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 3 years ago
- a JavaFX stock manager app☆41Dec 7, 2021Updated 4 years ago
- Config files for my GitHub profile.☆10Jan 31, 2025Updated last year
- dzship — the free shipping API for Algeria. Create and track COD parcels with 99 couriers (Yalidine, ZR Express, Maystro, NOEST, Zimou, D…☆24Oct 31, 2026Updated last week
- ☆11Jun 8, 2020Updated 6 years ago
- ☆11Nov 4, 2024Updated 2 years ago
- Hotel management app☆14Feb 4, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Shopping cart implementation using React, NodeJs, MySQL, ExpressJs, axios, cors, sequelize, babel, webpack, and electron.☆21Dec 3, 2017Updated 8 years ago
- ☆10Sep 4, 2023Updated 3 years ago
- Repo for TOM members dedicated to the Hacktoberfest of 2021 (8th edition), this repo is here to encourage open-source learning and sharin…☆13Nov 1, 2021Updated 5 years ago
- Tableau-based reasoner for ALCQ description logic☆13May 1, 2020Updated 6 years ago
- A perl program that parses a c file and adjusts it to betty (alx's c code checker)'s standards☆15Apr 18, 2023Updated 3 years ago
- Convert strings to boolean.☆10Jul 29, 2022Updated 4 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 2 years ago
- ☆15Jan 7, 2017Updated 9 years ago
- ☆10Feb 19, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Dec 27, 2020Updated 5 years ago
- A Laravel Nova card for Cloudflare☆10Sep 26, 2020Updated 6 years ago
- Git-style subcommands done right☆10Oct 20, 2018Updated 8 years ago
- A description logic reasoner for python.☆17Dec 15, 2017Updated 8 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
- ☆72Dec 16, 2023Updated 2 years ago
- Advanced data containers for D☆13Jan 17, 2026Updated 9 months ago
- A library to trigger an action if the user is idle☆17Jan 1, 2024Updated 2 years ago
- The TastyIgniter documentation☆11Oct 12, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- macOS dotfiles☆23Oct 23, 2026Updated 2 weeks ago
- Regular Expression for Algerian Mobile Phone Numbers☆52Aug 12, 2017Updated 9 years ago
- a Flutter app to track,read news & guides and check and report covid cases☆17Oct 9, 2020Updated 6 years ago
- Welcome to my personal Vi and Emacs notes repository! This project is dedicated to providing a comprehensive resource for learning and ma…☆34Jul 11, 2023Updated 3 years ago
- TEMPORARILY ON HOLD☆11Dec 31, 2017Updated 8 years ago
- A simple todo application made using kivymd☆23Oct 19, 2021Updated 5 years ago