ahamez/ahamez.github.io
Personal website
Developer Profile
ahamez
Discovered public repositories for ahamez in the GitHub catalog.
ahamez/smldd
A StandardML library for SDD
ahamez/proto-dd
A Proto-DD library.
ahamez/pnmc
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
ahamez/libsdd
A generic C++14 library for Hierarchical Set Decision Diagrams.
ahamez/adextract
Tool to extract AsciiDoc annotations from a source file.
ahamez/expatSML
ExpatSML is a Standard ML wrapper for the expat library (http://www.libexpat.org), using MLton foreign intefaces (FFIs)