Paolo Veronelli

LambdaCalculus. A library for lambda calculus with browser client

hneural. a library for simple neural networks

marionetta. framework to simulate movements of a 2d marionetta

hiernotify. track changes in a file system hierarchy

timers-updatable. updateble timers

tasty-bdd. A bbd framework for haskell and some tasty bdd providers

generics-csv. Haskell

dependencies-sm. a state machine to support dependency analysis and rebuilding

reactivegas. Supporto per l'amministrazione distribuita di un gruppo di acquisto.

hakyll. A simple static site generator library in Haskell.

hft. half finger trees

vt-just. Haskell

push-swap. Haskell

adrestia. APIs & SDK for interacting with Cardano.

hhondt. D'Hondt method for seats assignation

pipes-xml. scan xml with pipes haskell lib

aspects. Haskell

linee-parametriche. piccola libreria per utilizzare le linee parametriche in haskell

labottegadiluca. a site

burraco. burraco player

HDynTs. Haskell

stockcut. Haskell

svg-reflex-examples. Haskell

hopenscad. A solid modeling language in Haskell.

hancl. clustering algorithm

seminale. Haskell

stackedConsole. a library for console driven UIs

realogic. haskell complex logic reactive library

michelle. Service state machine controlled

hopkins.

turni. pianificazione turni assistita

hifs. iterated function system in haskell

finestre. software per il calcolo del taglio ottimizzato lineare (stock cutting)

consumattori. Una infrastruttura informatica per una rete di consumatori e produttori agricoli cooperanti.

disegni-qbo. disegni struttura qbo

flussi. tracciamento e analisi delle esigenze di consumatori e produttori in rete

struttura-gv. Haskell

hgen. genetic algorithm