Giuseppe Roberti's repositories
logic-justified-evaluator
Propositional logic evaluator using Map from justified-containers
agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
crasis-experimental
Crasis Experimental Project
ema-template
Template repo for Ema static site generator
graphql-playground
Experimenting with GraphQL
hakyll-nix-template
Hakyll + Nix starter template
homebrew-core
🍻 Default formulae for the missing package manager for macOS
iotdb-native
IoTDB Native is a specialized database management system for time series data generated by a network of IoT devices with low computational power.
learn-haskell-coq-ml-etc
Where I try code from Haskell (etc) books, articles, etc.
lectures-notes
My latex notes on whatever I'm studying. All are available to the public, but please take them with a grain of salt and notify me in case of errors :)
udacity-CppND-final-project
Dictionary Application based on Gtk 4 and Merriam-Webster API
udacity-CppND-Program-a-Concurrent-Traffic-Simulation
The final project for the Udacity C++ Nanodegree Concurrency course
udacity-CppND-System-Monitor
Student repository for the CppND OOP course project
unimi-embedded-project
ESPerimentino PID
unimi-sgorblex-stats
Appunti di probabilitĂ e statistica inferenziale.
wedor
Experimenting with GTK using Rust on a wlroot-based compositor