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. 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 last year
- ☆17Apr 28, 2025Updated 11 months 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A command line ALX checker.☆10Aug 3, 2023Updated 2 years ago
- a JavaFX stock manager app☆40Dec 7, 2021Updated 4 years ago
- ☆11Jun 8, 2020Updated 5 years ago
- Config files for my GitHub profile.☆11Jan 31, 2025Updated last year
- Tableau-based reasoner for ALCQ description logic☆13May 1, 2020Updated 5 years ago
- ☆10Sep 4, 2023Updated 2 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
- Hotel management app☆14Feb 4, 2024Updated 2 years ago
- ☆11Nov 4, 2024Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- 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
- ☆13Dec 27, 2020Updated 5 years ago
- Shopping cart implementation using React, NodeJs, MySQL, ExpressJs, axios, cors, sequelize, babel, webpack, and electron.☆22Dec 3, 2017Updated 8 years ago
- Convert strings to boolean.☆10Jul 29, 2022Updated 3 years ago
- Petting website generator, originally made for SimplyNick on Twitch - https://dman.wants.pet - https://foxgirl.wants.pet - https://marisa…☆11Feb 16, 2021Updated 5 years ago
- A description logic reasoner for python.☆17Dec 15, 2017Updated 8 years ago
- A library to trigger an action if the user is idle☆17Jan 1, 2024Updated 2 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 2 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆15Jan 7, 2017Updated 9 years ago
- The TastyIgniter documentation☆11Aug 27, 2025Updated 7 months ago
- A Laravel Nova card for Cloudflare☆10Sep 26, 2020Updated 5 years ago
- ☆10Feb 19, 2021Updated 5 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
- a Flutter app to track,read news & guides and check and report covid cases☆17Oct 9, 2020Updated 5 years ago
- ☆73Dec 16, 2023Updated 2 years ago
- Regular Expression for Algerian Mobile Phone Numbers☆53Aug 12, 2017Updated 8 years ago
- macOS dotfiles☆21Mar 13, 2025Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Git-style subcommands done right☆10Oct 20, 2018Updated 7 years ago
- A simple todo application made using kivymd☆23Oct 19, 2021Updated 4 years ago
- A Laravel Nova XLS & CSV importer☆16Feb 26, 2022Updated 4 years ago
- Advanced data containers for D☆13Jan 17, 2026Updated 2 months ago
- A dart:ffi wrapper around libresample as a Flutter plugin☆26Mar 13, 2020Updated 6 years ago
- TEMPORARILY ON HOLD☆11Dec 31, 2017Updated 8 years ago
- A simple Chrome extension that replaces your new tab page with the to-do list of the day along with your to-learn checklist☆30May 23, 2018Updated 7 years ago