tools.html

<!DOCTYPE HTML>
<!--
	Stellar by HTML5 UP
	html5up.net | @ajlkn
	Free for personal and commercial use under the CCA 3.0 license (html5up.net/license)
-->
<html>

<head>
	<title>John's tools</title>
	<meta charset="utf-8" />
	<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no" />
	<link rel="stylesheet" href="assets/css/main.css" />
	<noscript>
		<link rel="stylesheet" href="assets/css/noscript.css" />
	</noscript>
	<!-- Google Tag Manager --
		<script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start':
			new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0],
			j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src=
			'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f);
			})(window,document,'script','dataLayer','GTM-5WQ2QBTK');</script>
		!-- End Google Tag Manager -->
	<!-- Google tag (gtag.js) -->
	<script async src="https://www.googletagmanager.com/gtag/js?id=G-4PGBBVECE0"></script>
	<script>
		window.dataLayer = window.dataLayer || [];
		function gtag() { dataLayer.push(arguments); }
		gtag('js', new Date());

		gtag('config', 'G-4PGBBVECE0');
	</script>
	<!-- Google tag (gtag.js) -->
</head>

<body class="is-preload">
	<!-- Google Tag Manager (noscript) --
		<noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WQ2QBTK"
			height="0" width="0" style="display:none;visibility:hidden"></iframe></noscript>
		!-- End Google Tag Manager (noscript) -->
	<!-- Wrapper -->
	<div id="wrapper">

		<!-- Header -->
		<header id="header">
			<h1>Tools</h1>
			<p>Software I build, maintain or contribute to</p>
		</header>

		<!-- Nav -->
		<nav id="nav">
			<ul>
				<li class="sc1"><a href="index.html">Home</a></li>
				<li class="sc1 sc2"><a href="pub.html">Publication</a></li>
				<li class="sc1 sc2 sc3"><a href="teaching.html">Teaching</a></li>
				<li class="sc1 sc2 sc3 sc4"><a href="portfolio.html">Portfolio</a></li>
				<li class="sc1 sc2 sc3 sc4 sc5"><a href="tools.html" class="active">Tools</a></li>
			</ul>
		</nav>

		<!-- Main -->
		<div id="main">

			<!-- Research tools -->
			<section class="main">
				<header class="major">
					<h2>Research tools</h2>
					<p>Software I build or contribute to as part of my research.</p>
				</header>
				<div class="cards">
					<div class="card">
						<header><h4>CPPxDIC</h4></header>
						<div class="meta">2025 &ndash; present &bull; C++ &bull; Open source</div>
						<p>C++ implementation of xDIC: 2D digital image correlation (DIC) analysis developed for neuroscientific applications (full-field displacement and strain measurement from image sequences). Continuously developed at INMA/UCLouvain.</p>
						<ul class="actions">
							<li><a href="https://github.com/xdic-dev/CPPxDIC" class="button small" target="_blank">GitHub</a></li>
						</ul>
					</div>
					<div class="card">
						<header><h4>CppNCorr</h4></header>
						<div class="meta">2025 &ndash; present &bull; C++ &bull; Open source</div>
						<p>Fast 2D digital image correlation software in C++ (Ncorr-style algorithms), companion of CPPxDIC for high-throughput neuroscience imaging pipelines.</p>
						<ul class="actions">
							<li><a href="https://github.com/xdic-dev/CppNCorr" class="button small" target="_blank">GitHub</a></li>
						</ul>
					</div>
					<div class="card">
						<header><h4>PANTHER</h4></header>
						<div class="meta">2023 &ndash; present &bull; Python / Ivy &bull; Open source</div>
						<p>Pluginizable testing environment for network protocols: formal specification (Ivy), reproducible network simulation (Shadow), YAML-driven workflows and a stateful fuzzer plugin. Used to discover and reproduce QUIC vulnerabilities.</p>
						<ul class="actions">
							<li><a href="https://github.com/ElNiak/PANTHER" class="button small" target="_blank">GitHub</a></li>
							<li><a href="https://doi.org/10.1016/j.scico.2025.103389" class="button small" target="_blank">Paper</a></li>
						</ul>
					</div>
					<div class="card">
						<header><h4>Dionysos.jl</h4></header>
						<div class="meta">2024 &ndash; present &bull; Julia &bull; Contributor</div>
						<p>Control-system problem solver (abstraction-based control of hybrid/nonlinear systems) developed at UCLouvain. I contribute to the optimization and solver side.</p>
						<ul class="actions">
							<li><a href="https://dionysos-dev.github.io/Dionysos.jl/stable/" class="button small" target="_blank">Documentation</a></li>
							<li><a href="https://github.com/dionysos-dev/Dionysos.jl" class="button small" target="_blank">GitHub</a></li>
						</ul>
					</div>
					<div class="card">
						<header><img src="images/oscar.png" alt="OscaR" /><h4>OscaR &mdash; CP4DM constraints</h4></header>
						<div class="meta">2015 &ndash; 2020 &bull; Scala &bull; Open source</div>
						<p>Global constraints for pattern mining in the OscaR constraint solver: PPIC/PPICt (sequential patterns, with time constraints), CoverSize (frequent itemsets), EpisodeSupport (episode mining) and PRL (probabilistic rule lists). Executables and demos on the CP4DM site.</p>
						<ul class="actions">
							<li><a href="http://sites.uclouvain.be/cp4dm/" class="button small" target="_blank">CP4DM</a></li>
							<li><a href="https://bitbucket.org/oscarlib/oscar/src/dev/oscar-ml/src/main/scala/oscar/ml/pm/" class="button small" target="_blank">Code</a></li>
						</ul>
					</div>
					<div class="card">
						<header><h4>&Omega;Ps-DSL</h4></header>
						<div class="meta">2019 &bull; Scala</div>
						<p>Domain-specific language for pattern-set mining problems: describe the network, its parameters and the loss function computed on the data, then compile it to Boolean circuits.</p>
						<ul class="actions">
							<li><a href="https://dial.uclouvain.be/pr/boreal/object/boreal%3A218163/datastream/PDF_01/view" class="button small" target="_blank">Paper</a></li>
						</ul>
					</div>
				</div>
			</section>

			<!-- Misc tools -->
			<section class="main">
				<header class="major">
					<h2>Misc. tools</h2>
					<p>Small utilities born from side needs. More on <a href="https://github.com/johnaoga" target="_blank">GitHub</a>.</p>
				</header>
				<div class="cards">
					<div class="card">
						<header><h4>Conference Programme Manager (cpm)</h4></header>
						<div class="meta">2025 &ndash; present &bull; Python &bull; PyPI</div>
						<p>Generate structured conference programmes from paper submissions, topic preferences, room/chair resources and scheduling constraints (with optional SBERT paper&ndash;topic similarity). <code>pip install conf-program-manager</code></p>
						<ul class="actions">
							<li><a href="https://pypi.org/project/conf-program-manager/" class="button small" target="_blank">PyPI</a></li>
							<li><a href="https://github.com/johnaoga/cpm" class="button small" target="_blank">GitHub</a></li>
						</ul>
					</div>
				</div>
			</section>

		</div>


		<!-- Footer -->
		<footer id="footer">
			<section>
				<h2>John's Career profile</h2>
				<p><b>Lecturer and Researcher</b>, with over 10 years of experience in artificial intelligence,
					data science and optimization (CP/MIP, ML/DL/DM, NLP), creator of several programming and
					data science courses, and building data-driven solutions for West African development and
					environmental systems...<a href="bio.html">Learn more</a></p>
				<ul class="actions">
					<li><a href="pub.html" class="button">Publications</a></li>
					<li><a href="teaching.html" class="button">Teaching</a></li>
				</ul>
			</section>
			<section>
				<h2>Contact</h2>
				<dl class="alt">
					<dt>Addresses</dt>
					<dd>Abomey-Calavi (Benin/Africa) &bull; Louvain-la-neuve (Belgium)</dd>
					<!-- <dt>Phone</dt>
								<dd>(+229) 97-999-277</dd>-->
					<dt>Email</dt>
					<dd>john[dot]aoga[at]{gmail[dot]com or uclouvain[dot]be}</dd>
				</dl>
				<ul class="icons">
					<li><a href="https://twitter.com/johnaoga" class="icon brands fa-twitter alt" target="_blank"><span
								class="label">X (ex Twitter)</span></a></li>
					<li><a href="https://www.facebook.com/john.aoga" class="icon brands fa-facebook-f alt"
							target="_blank"><span class="label">Facebook</span></a></li>
					<li><a href="https://www.linkedin.com/in/john-aoga-2ba6a862/" class="icon brands fa-linkedin alt"
							target="_blank"><span class="label">LinkedIn</span></a></li>
					<li><a href="https://github.com/johnaoga" class="icon brands fa-github alt" target="_blank"><span
								class="label">GitHub</span></a></li>
					<li><a href="https://www.youtube.com/@Fre3duc" class="icon brands fa-youtube alt" target="_blank"><span
								class="label">YouTube</span></a></li>
					<!--li><a href="#" class="icon brands fa-dribbble alt"><span class="label" target="_blank">Dribbble</span></a></li-->
				</ul>
			</section>
			<p class="copyright">&copy; John Aoga (last update: Nov. 2026). Design: <a href="https://html5up.net" target="_blank">HTML5 UP</a>.
			</p>
		</footer>

	</div>

	<!-- Scripts -->
	<script src="assets/js/jquery.min.js"></script>
	<script src="assets/js/jquery.scrollex.min.js"></script>
	<script src="assets/js/jquery.scrolly.min.js"></script>
	<script src="assets/js/browser.min.js"></script>
	<script src="assets/js/breakpoints.min.js"></script>
	<script src="assets/js/util.js"></script>
	<script src="assets/js/main.js"></script>

</body>

</html>