hoheinzollern/FStar
An ML-like language with a type system for program verification
Developer Profile
hoheinzollern
Discovered public repositories for hoheinzollern in the GitHub catalog.
hoheinzollern/foreign-ocaml
Haskell Foreign Function Interface (FFI) for OCaml
hoheinzollern/RoleCluster
Cluster roles in ProM6 using activity stats
hoheinzollern/asperix
asperix branch with max support
hoheinzollern/tracker
Tracker desktop search with unity lens
hoheinzollern/aunf
New unfolder for contextual petri nets
hoheinzollern/A-Rock-Game
Public repository.
hoheinzollern/fib-test
Public repository.
hoheinzollern/hoheinzollern.github.com
My homepage here
hoheinzollern/Sudoku-Solver
Sudoku Solver
hoheinzollern/FLLF
Esercizi di Fondamenti Logici dei Linguaggi Funzionali
hoheinzollern/DWTCodec
Simple image compression/decompression algorithm using DWT (discrete wavelet transform) and RLE+Huffman encoding.
hoheinzollern/Logica-2
Dispense di Logica 2
hoheinzollern/cpnunf-cpp
Unfolder for contextual Petri nets