Repositories

A selection of my open-source projects: research tools and a few playful experiments. More at github.com/dasaro

A few of my open-source projects, grouped into research tools and lighter experiments. Each card links to the repository on GitHub.

Research tools

pec Probabilistic Event Calculus C klingo Depth-bounded ASP (k-lingo) Python waba-playground Interactive web framework for Weighted Assumption-Based Argumentation JavaScript ArgLAS Learning ASP encodings of argumentation frameworks with ILASP Lasso LogicBenchmarkQuestions Logic questions and puzzles to benchmark Large Language Models

Playful experiments

FretboardTrainer Chromatic tuner and ear-training game for macOS flatlander Flatland-inspired deterministic browser simulator TypeScript deleuzian_paradox_generator A playful generator of Deleuzian paradoxes JavaScript

More on github.com/dasaro.

.