Ada Böhm

twinsong. A Reimagined Alternative to Jupyter Notebooks

elsie. Python framework for making slides

nelsie. Framework for Creating Slides

nedoc. Generator of API documentation for Python

rmahjong. Riichi Mahjong

cli_doc. Documentation generator for CLI

aislinn. Dynamic verifier for MPI programs

orco. Python package for defining, executing, and persisting computations

estee. Scheduler Simulator Environment

haydi. Python framework for generating discrete structures

fairyflow. Python-driven tool for creating animated slides and general-purpose animations

dera. Generic Distributed Runtime

kaira. Main repository of project Kaira

nicetrace. Python

push-swirl. Kotlin

mkdocs-pdoc-plugin. Python

elphie. Framework for making slides based on Python and Inkscape

lablab. Simple Image Annotation Tool

snowflake. Ultra light static web generator

pas. Presburger Arithmetic Solver via Automatic Structures

abrpc. Asynchronous Bidirectional RPC

brun. Simple benchmarking toolkit

kitt. Python

tako. Rust

colcol. Python

cellotones. Interactive Cello Finger Position Visualizer

neve. Neural Net Verifier

shampoo. OpenFOAM configuration tool

revault. Storage of Python computations in DB

qit. Quick Idea Tester

nukecon. PDB-based tool for understanding conformational aspects of interactions between proteins and nucleosides or nucleotides