cassiebaer/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Sep 25, 2026
cassiebaer / cryptocat
Web chat client with client-side cryptography.
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.
#5258909GitHub System ID
cassiebaerOrganization / User
PublicVisibility
ActiveCatalog Status
More from cassiebaer
cassiebaer/TrackMateSessionMatlab
A script for a friend which parses a TrackMate session file and returns the tracks
cassiebaer/ucph-msc-thesis-dpdt
Masters Thesis - Differential Privacy + Dependent Types
cassiebaer/elm-lang.org
The full source for http://elm-lang.org/, the home-page of the Elm programming language. Open sourced as a way to teach people how to write and serve Elm code. Follow the instructions in README.md to get the site setup on your own machine.