An open API service providing repository metadata for many open source software ecosystems.

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