Pinned Repositories
bootstrap-introduction
curriculum_vitae
My CV (Updated on 13 October 2018).
developerFolio
🚀 Software Developer Portfolio Template that helps you showcase your work and skills as a software developer.
django-academic-website
dotfiles
Dotfiles, configurations, templates, etc.
end-of-studies-internship-report
fastSAT
A bench of different SAT-solvers using Spot (https://spot.lrde.epita.fr/).
smartxp
spot-internship-report
The report of my internship at the EPITA's Research and Development Laboratory (LRDE). I worked on Spot, a C ++ library of model checking.
spot-mirror
shumpaga's Repositories
shumpaga/bootstrap-introduction
shumpaga/curriculum_vitae
My CV (Updated on 13 October 2018).
shumpaga/developerFolio
🚀 Software Developer Portfolio Template that helps you showcase your work and skills as a software developer.
shumpaga/django-academic-website
shumpaga/dotfiles
Dotfiles, configurations, templates, etc.
shumpaga/end-of-studies-internship-report
shumpaga/esgcvak-public-files
shumpaga/fastSAT
A bench of different SAT-solvers using Spot (https://spot.lrde.epita.fr/).
shumpaga/smartxp
shumpaga/spot-internship-report
The report of my internship at the EPITA's Research and Development Laboratory (LRDE). I worked on Spot, a C ++ library of model checking.
shumpaga/spot-mirror
shumpaga/fastapi_contrib
Opinionated set of utilities on top of FastAPI
shumpaga/nodejs-postgreSQL-course
shumpaga/optimal-wsn-deploy
Implementation of "A BIM-based framework for an Optimal WSN Deployment in Smart Building"
shumpaga/osrd
Open Source Railway Designer
shumpaga/Portfolio
My self coded personal website build with React.js
shumpaga/Portfolio-Neumorphism-ReactJs
Portfolio in Neumorphism UI/UX Design Built With ReactJs
shumpaga/satminbench
A bench of incremental sat minimization of ω-automata in Spot (https://spot.lrde.epita.fr).
shumpaga/scopus-bibliometry-scripts
shumpaga/simplefolio
⚡️ A minimal portfolio template for Developers
shumpaga/susu-technical-test
shumpaga/techreports
shumpaga/terraform-course
Course files for my Udemy course about Terraform
shumpaga/tmp
shumpaga/twitter-hash-nalyze
shumpaga/Twitter-Hashtag-Tracking
Twitter hashtag tracking, analysis and classification.