andre-artus/agora
A Drupal/Angular project to simplify the running of various usergroup meetups.
Public GitHub Catalog
Discovered Oct 1, 2026
andre-artus / fsharp-logic-examples
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#21846448GitHub System ID
andre-artusOrganization / User
PublicVisibility
ActiveCatalog Status
More from andre-artus
andre-artus/slides-revealjs
Slides for "Slides with Reveal.js"
andre-artus/dvm
A tool to install and manage D compilers
andre-artus/fortuna-tests
testing libfortuna