Digital logic design tool and simulator
A digital logic designer and circuit simulator.
A high level language for Mindustry Logic (mlog) and Mindustry Schematics.
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
An efficient graph solver for generating well-formed models
A collection of some of the amazing cryptographic Ciphers in C++, Python and Java with a detailed documentation and approach map. (Particularly helpful for Blockchain. and designing Encryption Algorithms)
Visualize Graphs, Algorithms, Logics and Games
Atividades Java em 300h, repositório utilizado nas disciplinas de Lógica de Programação, Programação Orientada a Objeto e JAVA. 🐱💻
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
TypeQL language library for Java
An educational tool for analyzing the correctness of Fitch Proofs.
This repository contains my daily solutions to LeetCode problems using Java. I created this as part of my preparation for coding interviews and to improve my problem-solving skills in data structures and algorithms. The problems are categorized by difficulty and cover a wide range of topics including arrays, strings, hash maps, sets, and basic logi
Java BDD implementation based on hashmaps.
Logic gates' puzzle game for Android. The goal of this game is to turn on all the lights of the building by changing the state of the switches.
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."