BottCode
Interested in real-time embedded systems, safety critical software and SWE. Master Degree in Computer Science at University of Padova.
Turin, IT
Pinned Repositories
Ada-RTE-supporting-semi-partitioned-model
Algoritmi-Magistrale
Repo contenente gli esercizi assegnati per il corso di Algoritmi della LM in Informatica.
Artist-Identification-with-Convolutional-Neural-Networks
Artist Identification: comparison between AlexNet, GoogLeNet and ResNeXt
ArtistIdentifier
Artist Identification Using CNNs
Bare-Metal-Programming-Ground-Up-on-STM32F401RE
Evaluating-a-multicore-Mixed-Criticality-System-implementation-against-a-temporal-isolation-kernel
IQPuzzlerSolver
An artificial intelligence which solves IQ puzzler game.
Jandom
An abstract-interpretation based static analyzer written in Scala.
Parser-Core-Language
A Parser written in Haskell for the Core Language
synthetic-Ada-tasksets-generation-for-a-MCS-semi-partitioned-model-or-RTEMS-on-XtratuM
Fork of Pozzan's work: https://github.com/cornacchia/py-xu-burns-2019-rta
BottCode's Repositories
BottCode/Jandom
An abstract-interpretation based static analyzer written in Scala.
BottCode/IQPuzzlerSolver
An artificial intelligence which solves IQ puzzler game.
BottCode/Evaluating-a-multicore-Mixed-Criticality-System-implementation-against-a-temporal-isolation-kernel
BottCode/Parser-Core-Language
A Parser written in Haskell for the Core Language
BottCode/Ada-RTE-supporting-semi-partitioned-model
BottCode/Algoritmi-Magistrale
Repo contenente gli esercizi assegnati per il corso di Algoritmi della LM in Informatica.
BottCode/Artist-Identification-with-Convolutional-Neural-Networks
Artist Identification: comparison between AlexNet, GoogLeNet and ResNeXt
BottCode/ArtistIdentifier
Artist Identification Using CNNs
BottCode/Bare-Metal-Programming-Ground-Up-on-STM32F401RE
BottCode/synthetic-Ada-tasksets-generation-for-a-MCS-semi-partitioned-model-or-RTEMS-on-XtratuM
Fork of Pozzan's work: https://github.com/cornacchia/py-xu-burns-2019-rta
BottCode/BottCode.github.io
BottCode/comparison-system-FPS-EDF
BottCode/Concurrent-Programming-Exercises-in-Ada-and-Go
Some concurrent programming in Ada and Go
BottCode/EasyCast
Makes math operations in Swift easier by adding automatic casting between Int, Float, CGFloat, and Double. Use with care.
BottCode/Functional-Languages
BottCode/Grapyng-Finance
Just a python tool for tracking incomes and expenditures
BottCode/labs
This is a collection of tutorials for learning how to use Docker with various tools. Contributions welcome.
BottCode/MachineLearning
This repo contains some mandatory exercises assigned during the Machine Learning course.
BottCode/P2-project-AA.-15-16
Repo contenente il progetto per il corso di P2(Programmazione ad oggetti) dell'uniPd. A.A. 15-16. Laurea in informatica.
BottCode/raspberry-pi-os
Learning operating system development using Linux kernel and Raspberry Pi
BottCode/reproducing-an-issue-on-zynq7000
Just reproducing an issue in order to signal a bug (?) to Adacore.
BottCode/SoftwareVerificationProjectPresentation
BottCode/StoriaTecInfo
Tema per l'esame di storia della tecnologia e dell'informazione.