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.................................…
🏳🌌♨ 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 🛰🛰🏴
This Repository includes all codes and scripts written by me during all Hackathons attended by me.
New shape for my old GOD_AND_ADAM system
Russell & Norvig, "Artificial Intelligence – A Modern Approach" in function-oriented CoffeeScript.
Simple classic Tic Tac Toe game in C
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.
C++ Important Logical Programs + Mini Projects
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.
Repository of studies related to programming logic, data structures, and algorithms developed in Go with the aim of enhancing development skills.
HERA tool for ethical evaluation and explanation of action plans (swi prolog implementation)
This is Practice folder of data structures and algorithms with Javascript for one shot revision at Interviews
Zufallsbasierter Ziegenproblem-Zerdenker. Zehn zahme Ziegen zogen zehn Zentner Zucker zum Zoo.
The Odin Project exercises solved by me.
This app contains solutions to HackerRank problems and some other components to handle with server.
This program uses Selenium to scrape data from multiple databases.
Simple implementation of mu-calculus model checking
Add a description, image, and links to the logics topic page so that developers can more easily learn about it.
To associate your repository with the logics topic, visit your repo's landing page and select "manage topics."