Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by marc7666
A curated list of projects in awesome lists by marc7666 .
https://github.com/marc7666/roll-dice
This application performs the task of rolling two dice and displays the images of the corresponding dice face, the value of the dice face in both text and number and, finally, displays the sum of the values.
Last synced: 06 Nov 2024
https://github.com/marc7666/propositional-logic-agents
The goal of this work is to develop an intelligent agent for the Envelope World problem.
Last synced: 06 Nov 2024
https://github.com/marc7666/bachelor-s-thesis
Bachelor's thesis of the bachelor's degree in computer engineering at the University of Lleida. Even though the documentation is in Catalan, all code is in English.
alzheimer-disease-prediction alzheimers-disease artificial-intelligence bachelors-thesis cnn-model keras-tensorflow neural-networks
Last synced: 06 Nov 2024
https://github.com/marc7666/wind-danger-detector
Wind danger level detector. Implemented with a neural network
Last synced: 06 Nov 2024
https://github.com/marc7666/verification-with-cbmc
We have to use the bounded model checking tool for C programs, CBMC , for checking the properties we ask for each C program.
Last synced: 06 Nov 2024
https://github.com/marc7666/verification-of-programs-with-hoare-logic-and-symbolic-execution
We have to perform the verification of the partial correctness of two algorithms proposing the an invariant formula for both algorithms (both algorithms have while loops, that's the reason because we've to propose an invariant)
Last synced: 06 Nov 2024
https://github.com/marc7666/statistical-analysis-of-emotions-in-social-media
Statistical analysis of which factors influence dominant emotions in social media.
mathematics r random-forest rmd statistics
Last synced: 28 Oct 2024
https://github.com/marc7666/password-cracker
Password cracker through a brute force attack.
Last synced: 06 Nov 2024
https://github.com/marc7666/computer-organiozation-ii
Practical cases of the subject “Computer organization II” of the degree in computer engineering of the University of Lleida. This subject is taught in the first year. Each practical case is in assembly language.
assembly programming programming-language universitatlleida university
Last synced: 06 Nov 2024
https://github.com/marc7666/complexnumbers
Basic Java program to work with complex numbers
Last synced: 06 Nov 2024
https://github.com/marc7666/apps_multifil_basiques
Basic concurrent multithread apps
Last synced: 06 Nov 2024
https://github.com/marc7666/celsius_to_fahrenheit_neural_network
Python program with an easy sequential neural network to convert Celsius degrees into Fahrenheit degrees
Last synced: 06 Nov 2024
https://github.com/marc7666/virtual-assistent
This is a basic chatbot configured to help the citizens of Lleida to pay a fine or make sightseeing or know the gastronomy/monuments. The chatbot can be configured for any city modifying the code.
Last synced: 06 Nov 2024
https://github.com/marc7666/practical_cases_ctps
Laboratory exercises of "Computational tools for problem solving". Subject of the 4th course in computing engineering degree. University of Lleida.
Last synced: 06 Nov 2024
https://github.com/marc7666/ep_testing_exercises
Testing exercises resolution of Software Engineering subject of the degree in Computer Engineering of the University of Lleida.
Last synced: 06 Nov 2024
https://github.com/marc7666/language-processors
GitHub directory with all the different practical cases and activities of "Language processors". Subject studied at the 4th course in Computer engineering degree at Lleida's university
Last synced: 06 Nov 2024
https://github.com/marc7666/rsa_encryption
Simple algorithm in python to perform a number encrypter and decrypter through RSA
Last synced: 06 Nov 2024
https://github.com/marc7666/creation-and-interactuation-fa
Program to create and interactuate with a finite automaton
Last synced: 06 Nov 2024
https://github.com/marc7666/latex-template
This is a LaTex template for making documents
documentation latex latex-document latex-template
Last synced: 06 Nov 2024
https://github.com/marc7666/design-pattern-examples
Repository with examples of design patterns. Subject: "Software engineering II". Subject coursed at the 3th course of the "Degree in computer engineering" at the University of Lleida
Last synced: 06 Nov 2024
https://github.com/marc7666/apai-solvers
One sat solver performed with a local search algorithm and other performed with the DPLL algorithm.
Last synced: 06 Nov 2024