michiari/michiari.github.io

Language: SCSS - Size: 4.05 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0

michiari/OPPAS

A tool suite for verifying recursive (probabilistic) programs.

Language: Haskell - Size: 35.9 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 4 - Forks: 2

michiari/smtcomp-benchmark-submission-2024 Fork of SMT-LIB/benchmark-submission

Repository for the submission of SMT-LIB benchmarks for the 2024 release.

Language: SMT - Size: 735 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

michiari/haskell-z3 Fork of IagoAbal/haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

Size: 748 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

michiari/DOML-case-study

Artifact repository for the paper "DOML: A New Modelling Approach To Infrastructure-as-Code"

Language: HCL - Size: 478 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

michiari/piacere-mc-openapi

PIACERE DOML Model Checker

Language: Python - Size: 330 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

michiari/ppl

Exercise classes for the course Principles of Programming Languages at Politecnico di Milano.

Language: Haskell - Size: 79.1 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 12 - Forks: 5