Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with logica

A curated list of projects in awesome lists tagged with logica .

https://github.com/evgskv/logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino

Last synced: 17 Dec 2024

https://github.com/EvgSkv/logica

Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.

bigquery datalog language logic-programming logica postgresql presto prolog prolog-implementation sql sqlite trino

Last synced: 27 Oct 2024

https://github.com/chicolucio/exercicios-logica-ttg

Exercícios e exemplos de lógica usando o truth-table-generator (ttg)

logic logica tabela-verdade truth-table truth-table-generator ttg

Last synced: 26 Nov 2024

https://github.com/tectijuana/logicaprogramacion

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

logica logical-programming

Last synced: 23 Nov 2024

https://github.com/manoelcampos/logica-programacao

Curso de Lógica de Programação em C 👩🏽‍💻🤔

algoritmos c curso ebook gitbook logica

Last synced: 05 Nov 2024

https://github.com/leoviana00/shell-script-logic

Repo para estudos de logica com shell script

logica shell-script

Last synced: 25 Nov 2024

https://github.com/joaoveasey/beecrowd

exercícios no beecrowd para treinar lógica de programação

csharp exercicios-de-algoritimos logica

Last synced: 24 Oct 2024

https://github.com/geovanimelo/appgorjeta

Um exemplo de uso da lógica de Fuzzy. Ela é muitíssima importante, pois consegue atribuir um número preciso a cada avaliação de usuários feita em rótulos (textos, emojis e etc). No caso desta App, o cliente avalia o sabor da refeição e o atendimento do garçom. É feito o cruzamento matemático de ambas as variáveis e atribuída a gorjeta considerada a mais justa possível. Hoje, é muito utilizada no feedback de clientes no atendimento via chat, sites e blogs diversos.

atendimento avaliacao chat chat-application chat-room chatbot chatroom cliente comida emojis feedback feedback-form fuzzy fuzzy-logic garcon gorjeta logica restaurant restaurante

Last synced: 10 Nov 2024

https://github.com/icaro-freire/apresentacao_cap-03_acao-de-deus-no-mundo

:speech_balloon: Arquivos da apresentação do Contraponto (Livro Plantinga).

beamer ciencia cosmovisao filosofia latex logica nord religiao

Last synced: 11 Nov 2024

https://github.com/hendricksonweib/ping-pong-game

Projeto desenvolvido por meio da trilha de Lógica de Programação Avançada oferecida pelo curso DEV Samurai. Através da aplicação de conceitos de programação orientada a objetos em JavaScript, foi criado um jogo de ping pong como projeto final.

frontend javascript js logica poo

Last synced: 16 Nov 2024

https://github.com/lucianamcedro/dart_exercicio_logica

Exercício de Lógica de Programação em Dart.

dart logica logica-de-programacao

Last synced: 06 Nov 2024

https://github.com/andreyferraz/desafio-de-logica-supera-tecnologia

Dois desafios de lógica propostos pela empresa Supera Tecnologia

java logica supera

Last synced: 14 Nov 2024

https://github.com/ojonatasquirino/cdc-frontend

Conteúdos front-end dos livros da editora casa do código. Todos os conteúdos são organizados por capítulos para fins didáticos.

casa-do-codigo logica logica-javascript

Last synced: 18 Nov 2024

https://github.com/patinaomi/menu-de-navegacao-em-python

Exercício realizado para um trabalho (Challenge) da faculdade FIAP na matéria de Computational Thinking Using Python.

exercicios exercicios-python exercicios-resolvidos faculdade fiap logica logica-de-programacao python python3

Last synced: 14 Dec 2024

https://github.com/alexcuadroo/inet

Repositorio de teóricos, prácticos, soluciones y otros de Lógica y Programación I

ciencias-de-computacion inet logica programacion

Last synced: 21 Nov 2024

https://github.com/emanuelec/teoria-dei-tipi

Appunti ed esercizi del corso "Teoria dei tipi" - università degli studi di Padova, corso di laurea in Informatica

coq esercizi exercises logica martin-lof matematica math proof-assistant teoria-dei-tipi type-theory unipd

Last synced: 09 Nov 2024

https://github.com/paulopbi/algoritimos

Vários algoritmos e estruturas de dados para estudar e praticar programação

algorithms algoritimos c cpp javascript logic logica logica-de-programacao math

Last synced: 29 Nov 2024