Giters
Marc Melis (marcmelis)

marcmelis

Geek Repo

35

followers

25

following

39

stars

Location:Barcelona

Github PK Tool:Github PK Tool

Marc Melis's repositories

dpll-sat

Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm

Language:PythonLicense:MITStargazers:13Issues:0Issues:3

otk-sat

Simple Python implementation of the WalkSAT algorithm and SAT implementation of graph coloring

Language:PythonStargazers:3Issues:0Issues:0

advent_of_code

Eric Wastl Advent of Code

Language:PythonStargazers:1Issues:1Issues:0

secretariadigital

OpenAI powered chatbot that answers University of Lleida Q&A

Language:PythonLicense:MITStargazers:1Issues:1Issues:0

wpm1-3

Conversor to WPM(1,3), dimacs format

Language:PythonLicense:GPL-3.0Stargazers:1Issues:0Issues:0

adsdb-fantasy-football

UPC MDS ADSDB Fantasy Football Project

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

barcenas-world

Propositional Logic Agents with the JADE platform and SAT4J

Language:JavaStargazers:0Issues:0Issues:0

crystal-bn

Crystal classification using Bayesian Networks with Weka

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

grok

Grok open release

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

Routes

Routes WoW Addon

Language:LuaStargazers:0Issues:0Issues:0

secretariadigitalapp

Language:TypeScriptStargazers:0Issues:1Issues:0

simple_webscrapping_practice

A python discord bot to scrap some data of PACKT editor free daily book

Language:PythonStargazers:0Issues:0Issues:0