plrsf performs syntactic merging over ASP programs

Alignment c++ program on Decoda

A repository of labs from a functional programming course in OCaml

MinCoverPetri is a command-line application for the fast computation of the minimal coverability set of place/transition Petri nets using the monotone pruning algorithm

Benchmarking algorithms to find a pair of values in a BST summing to a given target.