Digital logic design tool and simulator

A digital logic designer and circuit simulator.

OpenNARS for Research 3.0+

A high level language for Mindustry Logic (mlog) and Mindustry Schematics.

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

Gradle plugin for automating everything involving MarkLogic

Simple Android sliding puzzle game

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)

Refinery: an efficient graph solver for generating well-formed models

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. 🐱‍💻

Repositório para material de estudos durante a faculdade de Sistemas de Informação! Em código de linguagens de programação variadas vamos criar e resolver problemas! ;)

This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

An educational tool for analyzing the correctness of Fitch Proofs.

TypeQL language library for Java

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.