gabventurato Goto Github PK
Name: Gabriele
Type: User
Company: KU Leuven
Bio: I'm a Computer Science PhD student in the DTAI Lab (Declarative Languages and Artificial Intelligence) at KU Leuven.
Twitter: GabVenturato
Gabriele's Projects
applied-statistics-project
In-depth analysis about rminer package for regression. Project from my Applied Statistics and Data Analysis course in CS master degree.
arproject
Project from my Automated Reasoning course in CS master degree
asdproject
Project from my Algorithms and Data Structures course in CS bachelor degree
autointersection
Distributed solution to let autonomous vehicles to cross an intersection. From my Distributed Systems course in CS master degree.
bropop
The DESPOT online POMDP solver
droidcam
Official Linux Client code for DroidDcam
gabventurato.github.com
local-backup
Bash script to backup in a local repository with restic
ltl-rmpast
Remove past from an LTL+Past formula, producing an LTL equisatisfiable one
neurosat
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
paper-ac-decisions-learning
The code used for the paper: Algebraic Circuits for Decision Theoretic Inference and Learning
permutation-flowshop-scheduling
Project from my Advanced Scheduling Systems course in CS master degree.
rddlsim
rddlsim with support for mapl-cirup language
sudokusolver
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.