Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with logical-programming

A curated list of projects in awesome lists tagged with logical-programming .

https://github.com/abductivelearning/abl-hed

Handwritten Equations Decipherment with Abductive Learning

deep-learning logical-programming machine-learning symbolic-ai

Last synced: 05 Jul 2025

https://github.com/professorjosedeassis/javascript

JavaScript para iniciantes (mini projetos)

javascript js logical-programming tutorial youtube

Last synced: 13 Apr 2025

https://github.com/erickks/pomodoro-timer

Simple and elegant pomodoro timer

css html javascript logical-programming

Last synced: 01 May 2025

https://github.com/vanhakobyan/swi-prolog

SWI-Prolog Logical Programming Languages

logical-programming prolog prolog-programming-language swi-prolog

Last synced: 27 Oct 2025

https://github.com/winterpuma/bmstu_falp

bmstu, IU7-6, Функциональное и Логическое программирование (2020)

6term bmstu functional-programming iu7 logical-programming

Last synced: 13 Oct 2025

https://github.com/prashantkoirala465/digital-clock-using-c-plus-plus

A feature-rich console-based digital clock application that displays time in beautiful ASCII art format along with local weather information. The clock supports multiple time zones, 12/24-hour formats, and real-time weather updates.

abstraction ansi-escape-codes api c-plus-plus c-plus-plus-17 encapsulation logical-programming object-oriented-programming open-weather-map-api

Last synced: 29 Jul 2025

https://github.com/brunocampos01/prolog-language

Aulas e exercícios de PROLOG, vista nas matérias: Paradigmas da computação e Sistemas inteligentes

declarative-programming ine ine5416 ine5633 learning-prolog logical-programming prolog prolog-exercises prolog-language ufsc

Last synced: 06 Mar 2025

https://github.com/tectijuana/logicaprogramacion

Para la materia de Lógica de Programación.

logica logical-programming

Last synced: 26 Jun 2025

https://github.com/tsg405/sql_hackerrank

Contains Solved HackerranK problems on SQL

implementation logical-programming mysql-database sql sqlite3

Last synced: 03 Sep 2025

https://github.com/ahmednasserg/cpu-cache-system

A simulation for data flow system between memory and cache using logic Prolog and functional Haskel Programming.

concepts-of-programming-languages functional-programming haskell logical-programming prolog

Last synced: 16 May 2025

https://github.com/eucarlos/10-dias-de-projeto

Estou me desafiando a postar 10 projetos simples em Python durante um período de 10 dias(1 por dia). :keycap_ten:

language-python linguagem-python logica-de-programacao logical-programming python python3

Last synced: 17 Jun 2025

https://github.com/riteshgaigawali/java-practice

This repository contains all the practice code for JAVA.

advance-java core-java dsa-questions j2se java-8 logical-programming

Last synced: 07 Oct 2025

https://github.com/ajmalfaris11/c-patternprinting

his repository is dedicated to studying and practicing pattern printing using the C programming language. It contains various programs that demonstrate different pattern printing techniques, ranging from simple to complex designs. The goal is to enhance proficiency in C programming while exploring the logic and structure behind pattern generation.

c logical-programming low-level-language patterns starpatterns

Last synced: 27 Jul 2025

https://github.com/uhop/yopl

No dependency mini-library: rule-based logical solvers.

logical-programming logical-solvers prolog-implementation

Last synced: 23 Apr 2025

https://github.com/ataldaaiume/ensinamentos-de-c-bruto

📁 Repositório criado para armazenar pequenos exercícios em C feitos durante as aulas da professora Cláudia. Ideal para revisar lógica de programação e fundamentos da linguagem C de forma prática.

algorithms c estrutura-de-dados estrutura-de-dados-em-c exercicios exercises fundamentals fundamentos iniciante iniciantes logic-programming logica-de-programacao logical-programming

Last synced: 31 Jul 2025

https://github.com/erickks/weather-app

How is the weather today?

api css html javascript logical-programming

Last synced: 28 Feb 2025

https://github.com/heliohdd/chess-system-java

Illustrative system in the form of a Chess Game based on Object Orientation Programming with Java.

exception-handling exception-messages github java-8 logical-programming object-oriented-programming

Last synced: 19 Feb 2025

https://github.com/petrenko-alex/logic-calculator

[Архив 2015] Логический калькулятор / Simple logic calculator

calculator cpp logic logical-operators logical-programming qt visualstudio2013

Last synced: 03 Mar 2025

https://github.com/priscilaestevao/bootcamp-reprograma

Exercícios semanais desenvolvidos durante o bootcamp {reprograma}

api-rest crud-application javascript logical-programming mongodb nodejs reprograma

Last synced: 13 Apr 2025

https://github.com/victorcast2/no_sql_gestion_buques

🚢 Gestión Inteligente de Horarios y Buques de Carga Puerto de Cartagena Una aplicación web desarrollada con Spring Boot y Spring Security, diseñada para optimizar la planificación, programación y gestión operativa de buques de carga en el puerto de Cartagena.

authentication authorization dashboard docker java javascript jwt logical-operators logical-programming mongodb redis spring-framework spring-security thymeleaf

Last synced: 03 Jul 2025

https://github.com/maxbrheinl/sat-solver

Sat-Solver is a Prolog program that converts propositional logic formulas into CNF and solves them using the DPLL algorithm. It processes logical expressions and applies unit propagation, clause simplification, and variable branching. The project was mainly built to improve skills in Prolog.

cnf dpll-algorithm logical-programming prolog sat-solver

Last synced: 04 Aug 2025

https://github.com/giriraj-g0511/from-pixels-to-patterns

This repository explores methods for converting images into code, merging creativity with programming to generate impressive visual outputs. It offers valuable insights for both developers looking to enhance their skills and artists seeking new forms of expression at the intersection of technology and art.

ascii ascii-art if-else image img-to-ascii img-to-pattern java logic logical-programming patterns pixel-to-pattern

Last synced: 05 Apr 2025

https://github.com/seroviicai/dungeons_and_dragons_game

The objective of this project is to create a videogame, inspired in Dungeons and Dragons board games, implementing basic AI (logical and probabilistic agents) and algorithms (world generation)

algorithms artificial-intelligence dungeons-and-dragons logical-programming probability python video-game wumpus-game

Last synced: 10 Jun 2025

https://github.com/yasmeentarek1/quiz_proctoring_system

System to assign Teaching Assistants (TAs) to quizzes while respecting their teaching schedules and days off avoiding any scheduling clashes.

backtracking logical-programming permutations prolog recursion

Last synced: 20 Feb 2025

https://github.com/marcosfshirafuchi/treinamentominhavagadevjava

Curso TreinamentoMinhaVagaDevJava ministrado pela instrutora Angelica Weiler.

angelicaweiler java javanauta logicadeprogramacao logical-programming

Last synced: 03 Apr 2025

https://github.com/gcosta0410/y3s1-pfl-functional-and-logic-programming

Year: 3rd (BSc), Semester: 1st, Course: Functional and Logic Programming (PFL)

functional-programming haskell logical-programming prolog

Last synced: 05 Oct 2025

https://github.com/rebecarolinax/csharp_introduction

This repository is a knowledge library developed during C# classes, aiming to provide a deep understanding of programming logic.

class conditions csharp decrement logical-programming oop

Last synced: 05 Oct 2025

https://github.com/ahrana/amount-to-words

Amount to Words Converter | United Arab Emirates

amount-to-word converter css dubai html javascript logical-programming uae

Last synced: 24 Feb 2025

https://github.com/gsilva00/pfl-project2

FEUP L.EIC - 3rd Year, 1st Semester - 2nd Project developed in the Functional and Logic Programming curricular unit

feup game leic logical-programming pfl programming

Last synced: 29 Jun 2025

https://github.com/suellenferraz/beecrowd

Envio de Soluções de Exercícios no Beecrowd.

exercises logical-programming python

Last synced: 03 Mar 2025

https://github.com/marlinsk/fincalc

Projeto de cálculos financeiros, utilizando o paradigma de programação POO(Programação Orientada a Objetos).

calculator-application java logical-programming poo

Last synced: 16 Nov 2025

https://github.com/pauloallan/gerador-de-cep

Aplicativo que gera CEPs com a API/JSON nivel basico.

api cep javascript json json-api json-server logica-de-programacao logical-programming

Last synced: 03 Mar 2025

https://github.com/ailsonguedes/estudos-de-l-gica-em-c

Estudos de lógica de programação utilizando C

c gcc gcc-complier linux logical-programming manjaro-linux programming

Last synced: 17 Jul 2025

https://github.com/p4dro-dev/exercicio-v-programacao-python

Nessa atividade do curso Técnico em informática, realizei cerca de 5 questões da disciplina de Programação. Usando a Linguagem Python para exercitar minha Lógica de , e Conhecimentos da Linguagem!

desafio-python logica-de-programacao logical-programming python python-script

Last synced: 06 Apr 2025

https://github.com/eduribeiro00/pharmacydeliveryrouting-feup-plog

Code and projects developed in the PLOG subject throughout the semester (MIEIC 3rd year, 1st semester).

logical-programming optimization prolog sicstus-prolog vehicle-routing-problem

Last synced: 24 Mar 2025

https://github.com/gustavo-martins-pereira/logica_de_programacao-parte_2-pratique_com_desenhos_animacoes_e_um_jogo

Curso de Lógica de programação utilizando JavaScript como base para criação de pequenos jogos no navegador.

alura canvas2d course javascript logica-de-programacao logical-programming

Last synced: 03 Sep 2025

https://github.com/madusales/exerciciosfixacaooracleone

Repositório dedicado aos exercícios de fixação solicitados durante o curso "Lógica de programação: mergulhe em programação com JavaScript".

javascript logica-de-programacao logical-programming

Last synced: 27 Feb 2025

https://github.com/berasumitdev/logical_programming_practice

Welcome to my Daily Logical Coding Practice Repository! 🚀

dsa-practice java logical-programming

Last synced: 12 Jun 2025

https://github.com/22p31a0512/number-guessing

Python number guessing game: Computer picks a random number, user tries to guess it. Computer gives hints (too high/low). Repeat until correct. Add difficulty levels, limited tries, or scoring for more challenge.

algorithm-design basic-python-project conditional-statements data-validation error-handling game-development logical-programming loops python random-number-generator user-input-handling

Last synced: 23 Apr 2025

https://github.com/trkotovicz/zoo-functions

Projeto Javascript (ES6), Higher Order Functions e lógica de programação.

es6 hofs javascript javascript-es6 logica-de-programacao logical-programming

Last synced: 25 Mar 2025

https://github.com/revan-alqahmi/maximum-sub-array-sum

Algorithms project, which is calculating the maximum sum of subarray. This project tests the skill of problem solving and logical thinking

algorithms dynamic-programming logical-programming problem-solving python

Last synced: 19 Feb 2025

https://github.com/martinmitchell05/tecprog_2025_public

A repository with practice code about programming paradigms: Object Oriented - Functional - Logical

functional-programming logical-programming object-oriented-programming programming-paradigms prolog python3 scheme

Last synced: 23 Apr 2025

https://github.com/muskan-fatim/assigments

Basic intermitaded and advance level logic building projects that enhance in logic building and clearing concept

advanced basic intermediate-projects logical-programming python

Last synced: 09 Apr 2025

https://github.com/harmim/vut-flp-labs

Funkcionální a logické programování - Cvičení

flp functional-programming ghc haskell logical-programming prolog swi-prolog vut vut-fit

Last synced: 31 Mar 2025

https://github.com/carloshenriquefs/challenge-component-injection

:white_check_mark: - Desafio 1 Java Spring Essential: DevSuperior

java logical-programming

Last synced: 01 Mar 2025

https://github.com/madusales/atividadepratica-senai

Atividade prática realizada em dupla como complemento dos estudos em Lógica de Programação e Algoritmos

logica-de-programacao logical-programming

Last synced: 27 Feb 2025

https://github.com/madusales/testeslacosderepeticao-senai

Testes com laços de repetição do curso Técnico em Desenvolvimento de Sistemas do Senai, na linguagem Csharp

logica-de-programacao logical-programming

Last synced: 27 Feb 2025

https://github.com/madusales/logicadeprogramacao-csharp-senai

Exercícios com lógica de programação do curso Técnico em Desenvolvimento de Sistemas do Senai, na linguagem Csharp

csharp logica-de-programacao logical-programming

Last synced: 27 Feb 2025

https://github.com/prashantkoirala465/Digital-Clock-using-C-Plus-Plus

A feature-rich console-based digital clock application that displays time in beautiful ASCII art format along with local weather information. The clock supports multiple time zones, 12/24-hour formats, and real-time weather updates.

abstraction ansi-escape-codes api c-plus-plus c-plus-plus-17 encapsulation logical-programming object-oriented-programming open-weather-map-api

Last synced: 11 Oct 2025

https://github.com/devxlalit/type-tester

A typing tester website that can test your typing speed

css html javasc logical-programming miniprogram typing-game typing-practice

Last synced: 19 Oct 2025

https://github.com/lucasmontagnani/jogo-da-forca_c

Jogo da forca na linguagem C, contando com menu de opções, modo single/multiplayer, e gameloop.

c game hangman-game jogo jogo-da-forca language-c linguagem-c logica-de-programacao logical-programming menu

Last synced: 07 Jul 2025

https://github.com/luiz-otavio/sheets-acceptance-resolver

Logical test from Tunts Rocks to manipulate the acceptance of pupils progress.

google-sheets gpl gradle java logical-programming

Last synced: 08 Apr 2025

https://github.com/pranahonk/adsi-logical-test

a technical test for front end developer in Axiata Digital Service Indonesia

babel es6 javascript logical-programming vue vuejs vuex

Last synced: 08 Jul 2025

https://github.com/yuvakunaal/responsive-age-calculator

A responsive Age Calculator App 🧮 built with HTML, CSS, and Vanilla JavaScript ⚙️. It validates user input 📅 (day, month, year) and calculates the precise age in years, months, and days 📊. Includes leap year handling 🔁, real-time error messages ❌, and a clean, modern UI 🎨.

css3 eventhandling flexbox html5 javascript logical-programming responsive

Last synced: 15 Jun 2025

https://github.com/pragati-c19/dragamine-game

Dragamine is a simple frontend project inspired by the classic game Minesweeper.

bootstrap javascript logical-programming

Last synced: 28 Oct 2025

https://github.com/omdoshi13/prediction-for-customer-lifetime-value

Customer Lifetime Value (CLV) Prediction Unlock customer insights by predicting CLV with RFM metrics and machine learning. Visualize key trends with an interactive Streamlit dashboard, and leverage FastAPI for seamless real-time predictions.

logical-programming model python python-project python3

Last synced: 16 Jun 2025

https://github.com/pedroaurelli/java-usjt

Repositório destinado para as aulas de programação de soluções computacionais da USJT

beginner java logical-programming

Last synced: 22 Feb 2025

https://github.com/suellenferraz/python

Este repositório oferece uma revisão sobre exercícios da disciplina Linguagem de Programação - ECT3201 para facilitar o aprendizado básico de Python.

exercises logical-programming python3

Last synced: 29 Oct 2025

https://github.com/lamaabdeldayem/quiz-proctoring-system

A Prolog-based system for assigning Teaching Assistants to quizzes, ensuring availability and avoiding scheduling conflicts.

ai automation backtracking logic-programming logical-programming prolog recursion scheduling

Last synced: 27 Mar 2025

https://github.com/rickicr-collab/projeto-programacao

Mostrando projetos de programação de varias linguagens e niveis para aprendizado e crescimento na área

estudos language-programming linguagem-de-programacao logica-de-programacao logical-programming study

Last synced: 03 Apr 2025

https://github.com/vaibhavmojidra/python---problem-solving-find-the-loggedin-users-in-the-network

One way Problem solvers code solutions faster in Python faster than coding solutions in other programming languages is that Python is easy to learn and use. Python programs tend to be shorter and quicker to write than a program which completes a similar function in another languages.

class functions logical-programming loops mojidra python python3 vaibhav vaibhav-mojidra vaibhavmojidra

Last synced: 28 Jul 2025

https://github.com/berasumitdev/logiccode

This repository contains a collection of Java programs demonstrating various logical concepts and problem-solving techniques.

java logical-programming

Last synced: 12 Jul 2025

https://github.com/gxrco/prolog-derivates

Set of defined rules for solving derivatives developed in Prolog

calculus logical-programming shell-script swi-prolog

Last synced: 24 Jun 2025

https://github.com/lucasmontagnani/pseudo-ecommerce_c

Um marketplace na linguagem C, contendo duas interfaces (ADM/Cliente).

c e-commerce-project ecommerce language-c linguagem-c logica-de-programacao logical-programming menu

Last synced: 21 Mar 2025

https://github.com/dimitrijkrstev/programming-paradigms

Material related to my programming paradigms class for both Prolog and Clojure

clojure functional-programming logical-programming prolog

Last synced: 28 Mar 2025

https://github.com/educorreia932/feup-plog

🔡 MIEIC 2020/2021 - 3ʳᵈ year / 1ˢᵗ semester

clp-solver clpfd feup feup-plog logical-programming mieic university-course

Last synced: 23 Feb 2025

https://github.com/sneha-at-hub/minesweeper-ai

Implementation of the classic Minesweeper game with an AI player using logical inference to make intelligent moves.

ai logic-programming logical-programming python3

Last synced: 26 Jun 2025

https://github.com/skypse/javatonniedio

Here are exercises/examples from Tonnie's Java | DIO bootcamp

java logical-programming

Last synced: 31 Oct 2025

https://github.com/berasumit611/logical_programming_practice

Welcome to my Daily Logical Coding Practice Repository! 🚀

dsa-practice java logical-programming

Last synced: 22 Mar 2025

https://github.com/berasumit611/logiccode

This repository contains a collection of Java programs demonstrating various logical concepts and problem-solving techniques.

java logical-programming

Last synced: 22 Mar 2025

https://github.com/gabriel4420/aprendizado-cpp

Exercicios básicos para aprendizado de logica de programação e algoritmos.

cpp falcon logical-programming structured-data

Last synced: 29 Oct 2025

https://github.com/mrakashkumar/java_programmingskills

Its Many Java Programming Just like Pattern Based, logical based, Modules and Division based, Data-structure and Algorithm based etc

algorithm collections datastructures designpatterns exception-handling java java-programming java-programmingskills java8 logical-programming multithreading oop-concepts progra

Last synced: 04 Apr 2025

https://github.com/ferr0s04/feup-pfl

Repository for PFL (Functional and Logical Programming) course of LEIC FEUP, for year 2024-25

feup feup-leic functional-programming haskell logical-programming prolog

Last synced: 24 Dec 2025

https://github.com/ezequiel-arevalo/logic-challenges

In this repository, I solve programming challenges to improve my logic skills. Every solution is crafted natively, without the use of AI, focusing on problem-solving and critical thinking. All challenges are approached by reading documentation and understanding core concepts.

challenge logic logic-programming logical-programming

Last synced: 30 Mar 2025

https://github.com/tomasbozzano/logica-bymoure

Este curso ayuda a mejorar la lógica y aprender más acerca del lenguaje utilizado

javascript logical-programming nodejs

Last synced: 13 Sep 2025

https://github.com/antojebi7/java_chloroplast

(Growing)Java-Chloroplast is your ultimate Java reference hub, packed with concepts, code snippets, and best practices from basic syntax to advanced frameworks. Whether you're preparing for interviews, building applications, or mastering Java, this repo converts knowledge into pure coding energy—just like a chloroplast!

algorithms classes-and-objects data-structures java logical-programming object-oriented-programming problem-solving

Last synced: 05 Nov 2025

https://github.com/rickicr-collab/aprendizado-python

Python com aprendizado de nivel basico ao Avancado (em desenvolvimento)

language-python linguagem-python logica-de-programacao logical-programming python

Last synced: 25 Jul 2025