sballari

Pinned Repositories

While-language
Analizzatore statico non relazionale (domini: Segni - Intervalli)
Language:Haskell30
SCFex
SCFex
Language:Python10
TecWeb
progetto di Tecweb di Alessio Gobbo, Simone Ballarin, Gerta Llieshi, Riccardo Dario.
10
AlgGrafi
laboratori di algoritmi avanzati
Language:Python00
Asta-Language-Compiler-ALCC
Language:C00
eclair_demo
Language:C00
GasEquipment
Gestione per officine che trattano impianti a gas. Progetto P2.
Language:C++00
MandelbrotDFP
calcolo della sequenza di Mandelbrot concorrentemente
Language:Erlang00
MemocoEx
Cplex or OPL exercise.
Language:C++00
SimpleCalc-TC
Type inference su linguaggio funzionale
Language:Haskell00

sballari's Repositories

sballari/zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
sballari/eclair_demo
Language:C
sballari/Asta-Language-Compiler-ALCC
Language:C
sballari/While-language
Analizzatore statico non relazionale (domini: Segni - Intervalli)
Language:Haskell3
sballari/sns-lstm
Language:Python
sballari/MemocoEx
Cplex or OPL exercise.
Language:C++
sballari/SCFex
SCFex
Language:Python1
sballari/MandelbrotDFP
calcolo della sequenza di Mandelbrot concorrentemente
Language:Erlang
sballari/AlgGrafi
laboratori di algoritmi avanzati
Language:Python
sballari/SimpleCalc-TC
Type inference su linguaggio funzionale
Language:Haskell
sballari/TesiTriennale
Language:TeX
sballari/StageAthesys
sballari/TecWeb
progetto di Tecweb di Alessio Gobbo, Simone Ballarin, Gerta Llieshi, Riccardo Dario.
1
sballari/GasEquipment
Gestione per officine che trattano impianti a gas. Progetto P2.
Language:C++