Pinned Repositories
beltmatic-calc
CPNetSolver
Scala application for solve and visualize CP-Nets
docker-images
Official source for Docker configurations, images, and examples of Dockerfiles for Oracle products and projects
dynuupdater
Dynu Rust command line editor
emacs-config
My personal emacs configuration
functionalutils
Java micro-library for functional style helpers
highwheel-modules
Bytecode based architecture verification
Pi4Scala
Library for \pi-calculus in Scala
sbt-highwheel
Highwheel modules sbt plugin
thistle
Jasmine like tests in Java 6+ and a JUnit on steroids!
fburato's Repositories
fburato/Pi4Scala
Library for \pi-calculus in Scala
fburato/CPNetSolver
Scala application for solve and visualize CP-Nets