Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms.
-
-
-
-
Software for processing and analysis of human faces. Re-implementation of https://github.com/Fidentis/Analyst
-
-
-
-
-
ID management system
-
Interactive specification of patrolling problems
-
This is a solo repo of the tools that Honza Hubeny and myself once started, and that used to be for a long time living within the MitoGen, recently in a branch called tools. This has moved into this repository, hopefully for good.
-
-
Repo for code about the weakly norming graphs project.
-
-
Repository for Vertical Shooter game
-
A TE-nester optimization tool
-
Software to recursively identify TEs or other inserted sequences and cut them out to enable discovery of similar underlying older sequences.
