Wassasin/cherrity-pick
App for picking charities via engagement measurements (fitbit + facial expression recognition)
Inductive Scripting Language
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
App for picking charities via engagement measurements (fitbit + facial expression recognition)
Exercises for the Radboud University Computer Algebra course, implemented in Magma.
Portfolio website based on Jekyll-Bootstrap.
Premise selection for Coq in OCaml and C++