daviddoret

punctilious

A human-friendly and developer-friendly math proof assistant

branding

Confluence-Site

Code snippets and other artifacts for the Open-Measure confluence site.

Graphviz-Models

Conceptual models developed as part of my research work

IAMPerf2020-Notebooks

IAMPerf2020-Package

An R package to explore the IAM Performance Measurement 2020 Survey

Interactive-Knowledge-Graph-JS

An open-source javascript library that builds a simple UI to explore knowledge graphs at a microscopic level

Open-Data

Open data published by the Open-Measure project

TOME-Python

TOME = The Open-Measure Encyclopia. Python Automation Project.

sphinx-exec-code

Run python code in sphinx and display the output

daviddoret/punctilious

A human-friendly and developer-friendly math proof assistant