lucageatti

University of UdineUdine, Italy

Pinned Repositories

black
BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
Language:C++14 7 235
UniUdBig
Libraries and examples for JLibBig
Language:Java00
Acidify
Implementation of a behavior for distributed transactions in Erlang over distributed storage.
Language:Erlang11
Eternity2
A Local Search-based approach to the Eternity 2 puzzle.
Language:C++00
europroofnet.github.io
Sources of the EuroProofNet web site.
Language:Ruby00
Java3DExamples
Some examples of Java3D
Language:Java00
PLP-fingerprints
Fingerprint recognition encoding in Probabilistic Logic Programming
Language:TeX0 1 00
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:C00
SafetySynth
A symbolic safety game solver written in Swift
Language:Swift0 0 00
slajdomat
This is a program for making zooming slides in figma.
Language:TypeScript00

lucageatti's Repositories

lucageatti/Acidify
Implementation of a behavior for distributed transactions in Erlang over distributed storage.
Language:Erlang11
lucageatti/Eternity2
A Local Search-based approach to the Eternity 2 puzzle.
Language:C++00
lucageatti/europroofnet.github.io
Sources of the EuroProofNet web site.
Language:Ruby00
lucageatti/Java3DExamples
Some examples of Java3D
Language:Java00
lucageatti/PLP-fingerprints
Fingerprint recognition encoding in Probabilistic Logic Programming
Language:TeX0 1 00
lucageatti/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:C00
lucageatti/SafetySynth
A symbolic safety game solver written in Swift
Language:Swift0 0 00
lucageatti/slajdomat
This is a program for making zooming slides in figma.
Language:TypeScript00
lucageatti/Syft-safety
Safety property synthesis
Language:C++