Explore projects
-
Updated
-
Updated
-
Oldřich Pecák / rp_pulse_profiler
MIT Licensephotomultiplier pulse counter/detector software for Red Pitaya
Updated -
Implementations of algorithms described in the bachelor thesis Euclid's algorithm for large integers.
Updated -
Updated
-
-
Kristýna Janků / pysot
Apache License 2.0Updated -
UpdatedUpdated
-
Updated
-
-
CYBERSEC / theses / belajova-vulnerabilities-training
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalSoftware Vulnerabilities for Interactive Cybersecurity Training
Updated -
Updated
-
Updated
-
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.
Updated -
-
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast
Archived 0Updated -
fidentis / Analyst 2
MIT LicenseSoftware for processing and analysis of human faces. Re-implementation of https://github.com/Fidentis/Analyst
Updated -
paradise / mirror / RoFI
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalThis is a mirror of https://github.com/paradise-fi/RoFI
Updated -
Git mirror of the DIVINE current repository. Issues should be reported to https://divine.fi.muni.cz/trac/report/1. Please note that the CI branch will be overwritten periodically and should not be pulled from.
Updated