timjb/idrispkgs
Nix expressions for Idris packaging.
Public GitHub Catalog
Discovered Oct 6, 2026
timjb / Francium
A small web programming library on top of reactive-banana and virtual-dom
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.
#31263913GitHub System ID
timjbOrganization / User
PublicVisibility
ActiveCatalog Status
More from timjb
timjb/diagrams-rubiks-cube
Haskell library for drawing the Rubik's Cube
timjb/IHaskell
A Haskell kernel for IPython.
timjb/ot.agda
Formalization of OT with tombstones in Agda