Ada Böhm's Projects
Asynchronous Bidirectional RPC
Dynamic verifier for MPI programs
Dynamic verifier for MPI programs (old experimental version)
Modified version of Valgrind for Aislinn
Fork of valgrind git mirror
Simple benchmarking toolkit
Generic Distributed Runtime
Distributed computation in Python
Framework for making slides based on Python and Inkscape
Python framework for making slides
Scheduler Simulator Environment
fortran zeromq example
A game theory framework with examples and algorithms
Python framework for generating discrete structures
Main repository of project Kaira
Programming language
Simple Image Annotation Tool
Personal wiki based on Git + Asciidoctor/Markdown + Flask
Generator of API documentation for Python
Demonstration for generated documentation from nedoc
Framework for Creating Slides
Neural Net Verifier
PDB-based tool for understanding conformational aspects of interactions between proteins and nucleosides or nucleotides
Python package for defining, executing, and persisting computations