GitHub topics: logics
Mutahir-15/PYTHON-PROJECTS
This repository contains a collection of Python projects, including assignments and hands-on projects, covering various concepts and use cases. Perfect for learning, practicing, and building real-world applications!
Language: Python - Size: 154 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 1

guilhermeleitao2002/Hashi-Puzzle-Project
Prolog-based Hashi puzzle solver using logical constraint satisfaction.
Language: Prolog - Size: 168 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 0 - Forks: 0

vicenteraphael/Python
Imortalizado como o meu primeiro repositório git, este repositório visa promover o bom estudo de lógica, programação, github e gitbash. Visto que eu ainda sou um mero estudante. Para informações detalhadas, considere ler o README do projeto.
Language: Python - Size: 79.1 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

SEG-UNIBE/tlparser
A CLI tool to parse and analyse temporal logic formulae.
Language: Python - Size: 656 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

gauravfullstack/DataStructures
This is Practice folder of data structures and algorithms with Javascript for one shot revision at Interviews
Language: HTML - Size: 45.9 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

muhammadfarooq85/JavaScript-Logics-Building
Aim of creating this repository is to actually build my logics to solve problems via exercises. Happy coding!
Language: JavaScript - Size: 17.6 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

MuhammadIbrahim-dev/javascript-series
javascript logics
Language: JavaScript - Size: 15.6 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

mmegp/mmegp
A project based on metamath.org ; personal new mathematics foundational & other tertium datur openscience theories by Evgeniy Grigoriewitch Phfilippowvv Angarskiy AKA https://beacons.ai/krichuvka vk.com/egphilippov https://linkedin.com/in/egphilippov as of Sunday, February 13 ante de Christ and further since that............................................*lightforcesofallcosmos LIGHT BILDERBERG CLUB RUSSKIY INTERNATIONAL SHARD ANTIHITLERS COALITION AHC45 1945.05.09 DECENTRALIZED AUTONOMOUS ORGANIZATION CREATOR DISCOVERER INVENTOR AUTHOR
Language: Objective-C++ - Size: 1.05 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 86

andydowsen/voice-assistant
🏳🌌♨ Simple voice assistant with minimal ai logics includes streamlit web framework to automate the user interface and user experience while operating the application and their assistant and so on 🛰🛰🏴
Language: Python - Size: 183 KB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 2

cxlvinchau/mu-calculus
Simple implementation of mu-calculus model checking
Language: Python - Size: 6.84 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

vitingr/data-structure-algorithms
Repository of studies related to programming logic, data structures, and algorithms developed in Go with the aim of enhancing development skills.
Language: Go - Size: 9.77 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

FaisalAhmedBijoy/Shooter-Aircraft-Game-using-PyGame-Library
Shooter Aircraft Breakout PyGame
Language: Python - Size: 1.58 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

ravuga/ABAP-Programs
ABAP PROGGRAMS DONE IN LAB
Size: 390 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

Alsweider/Ziegenzaehmer
Zufallsbasierter Ziegenproblem-Zerdenker. Zehn zahme Ziegen zogen zehn Zentner Zucker zum Zoo.
Language: C++ - Size: 7.81 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

activecat/jupyter-notebook
Jupyter Notebook
Language: Jupyter Notebook - Size: 4.5 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

drilnet/Intelligence
Интеллект. Искусственный интеллект
Size: 85 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

aragonxpd154/8-bits-computer
This is a small 8-bits computer that I'm developing with a bus and some basic peripherals, with little use in the current technological context, it's a more hobbyist and simplistic project like many projects that exist on the internet.
Language: C - Size: 51.8 MB - Last synced at: about 3 hours ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

israelitas/Sistema-De-Compra
Language: C - Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

watson-clara/Logics-Database-Report-Scrapper
This program uses Selenium to scrape data from multiple databases.
Language: Python - Size: 2.93 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

RahulGupta237/Python-Logics
Python LOgics
Language: Python - Size: 84 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

PluralityNET/Project.GodAndAdam.Distributed Fork of openmindproject/Project.GodAndAdam.Distributed
New shape for my old GOD_AND_ADAM system
Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 2

mayur2011/go-examples
A collection of basic & common logics which are mostly used in the algorithms
Language: Go - Size: 1.13 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

davidpomerenke/aima.js
Russell & Norvig, "Artificial Intelligence – A Modern Approach" in function-oriented CoffeeScript.
Language: CoffeeScript - Size: 1.07 MB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

MaximilianMoeller/advanced-logics
lecture notes for the "advanced logics" lecture @ TU Dresden
Language: TeX - Size: 136 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

CS4Usama/Cpp-Important-Logics
C++ Important Logical Programs + Mini Projects
Language: C++ - Size: 11.2 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

Nush3bhr/SolutionRank
This app contains solutions to HackerRank problems and some other components to handle with server.
Language: JavaScript - Size: 514 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

existenzquantor/hera2
HERA tool for ethical evaluation and explanation of action plans (swi prolog implementation)
Language: Prolog - Size: 90.8 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

rohitcoder/Attended-Hackathons
This Repository includes all codes and scripts written by me during all Hackathons attended by me.
Language: JavaScript - Size: 36.3 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 2

xialinbo/CopQuiz
solution to an interesting logic quiz
Language: Java - Size: 82 KB - Last synced at: 12 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
