A handy utility for propositional logic.
☆10Jul 8, 2023Updated 3 years ago
Alternatives and similar repositories for logic-util
Users that are interested in logic-util are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Planar graph: generation, embedding, drawing☆10Jan 5, 2016Updated 10 years ago
- This repository includes solutions and notes to Townsend's A Modern Approach to Quantum Mechanics 2nd edition. The solutions are to suppl…☆13Mar 24, 2021Updated 5 years ago
- MS17-010☆12Oct 25, 2017Updated 9 years ago
- ☆14Jan 24, 2023Updated 3 years ago
- ShiftCrops pwn tool☆15Dec 11, 2016Updated 9 years ago
- AI Agents on 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.
- Tool to play with wifi networks☆15Sep 14, 2019Updated 7 years ago
- MediaTek’s Runtime Environment MAUI Runtime Environment, MRE(MAUI Runtime Evironment) is an application development platform created by M…☆12Sep 6, 2022Updated 4 years ago
- ☆10Jun 5, 2020Updated 6 years ago
- NSA tool hacking☆15May 20, 2018Updated 8 years ago
- GPS mod by DK, Vice City adaptation☆16Mar 6, 2016Updated 10 years ago
- En este repositorio estaran todos los ports de juegos que se han hecho para Wii U o que son compatibles con la Virtual Console.☆15Jan 9, 2025Updated last year
- Code for interacting with the Game Boy (Advance) cartridge MBC. Let's you dump the rom off the cartridge.☆13Jun 11, 2019Updated 7 years ago
- Tweaks and optimizations to the underlying fork at https://github.com/mkst/sm64-port/tree/3ds-port☆18Oct 19, 2026Updated last week
- Automatic Ducky Payload Generator☆16Nov 14, 2022Updated 3 years 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.
- Enhance UI/UX for https://monopoly-one.com☆11Apr 23, 2024Updated 2 years ago
- Automate the creation of Backdoors and postexplotation activities☆23Jun 20, 2022Updated 4 years ago
- Simple "Brainfuck" interpreter for Android☆21Dec 6, 2025Updated 10 months ago
- Материалы по созданию и оформлению документов в LaTeX☆13Feb 12, 2019Updated 7 years ago
- 🎓(RU) Решения задач с курса Сириус "Введение в алгоритмы"☆14May 14, 2023Updated 3 years ago
- RouterBrute can Bruteforce/Dictionary attack the login for the Router's Login page☆16Mar 27, 2017Updated 9 years ago
- Wireless discovery and exploitation framework written in Python☆19Dec 17, 2010Updated 15 years ago
- BountyDrive is a comprehensive tool designed for penetration testers and cybersecurity researchers. It integrates various modules for per…☆19Jul 15, 2024Updated 2 years ago
- Main information about Javaica sect (I mean, organization)☆14Apr 10, 2021Updated 5 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.
- (This project is canceled!) An game engine inspired by HaxeFlixel for making 2D games for the Wii U using Haxe!☆18Mar 3, 2026Updated 7 months ago
- Algorithms and Data Structures course at ITMO University☆10Oct 21, 2026Updated last week
- ☆31Oct 20, 2026Updated last week
- A computer algebra system for propositional logic☆18Jun 6, 2026Updated 4 months ago
- Сайт курса "Алгоритмы и структуры данных"☆13May 7, 2022Updated 4 years ago
- [неофициальный] Шаблон для отчёта (СПбПУ)☆15Jan 29, 2021Updated 5 years ago
- 🎨 Drop-in, classless CSS stylesheet for the Hack Club theme.☆19Apr 6, 2022Updated 4 years ago
- My PowerShell bag of tricks☆27Aug 2, 2017Updated 9 years ago
- Simon Tatham's Puzzle Collection - Kindle port☆23Apr 24, 2026Updated 6 months 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 WiFi deauthentication tool written in C☆16Sep 20, 2019Updated 7 years ago
- Small social engineering tool written in python2☆20Nov 7, 2024Updated last year
- Лабы, которыми не стыдно поделиться.☆19Nov 30, 2021Updated 4 years ago
- A Yocto layer with recipes for building Slint☆26Oct 21, 2026Updated last week
- A WYSIWYG editor for on-codemerge is a user-friendly interface that allows users to edit and view their code in real time, exactly as it …☆17Oct 7, 2026Updated 3 weeks ago
- IPA Keyboard. International Phonetic Alphabet Symbols Web and Desktop Application built using Vue.js, Gulp and Node-Webkit☆23Sep 10, 2024Updated 2 years ago
- This repository contains some of the solutions I've written for Waterloo's Candian Computing Competition (CCC)☆12May 15, 2021Updated 5 years ago