logic
Here are 140 public repositories matching this topic...
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
-
Updated
Sep 27, 2024 - Java
Digital logic design tool and simulator
-
Updated
Sep 23, 2024 - Java
Learning DSA in Java (Challenge 180+ Day Daily DSA
-
Updated
Sep 23, 2024 - Java
TypeQL: the modern query language of TypeDB
-
Updated
Sep 27, 2024 - Java
A digital logic designer and circuit simulator.
-
Updated
Sep 6, 2024 - Java
Translates natural language sentences to symbolic logic.
-
Updated
Aug 29, 2024 - Java
A small AI-based game built in Java as pet project
-
Updated
Aug 2, 2024 - Java
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
-
Updated
Jul 15, 2024 - Java
Explicações e anotações complementares do curso de lógica de programação em Java, da DevDojo.
-
Updated
Jun 21, 2024 - Java
A teaching aid for concepts and algorithms in logic
-
Updated
Jun 8, 2024 - Java
This repository represents all of my work at the Technical University of Varna. The speciality is "Software and Internet Technologies."
-
Updated
May 29, 2024 - Java
Repositorio que contiene la solución al desafío para desarrolladores junior full-stack más la solución al primer desafío opcional brindado por Ruuf.cl ☀
-
Updated
May 29, 2024 - Java
Improve this page
Add a description, image, and links to the logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."