jesyspa/agda-vim
Agda interaction in vim
Public GitHub Catalog
Discovered Sep 26, 2026
jesyspa / DerivedCollection
Some C++ collections for storing heterogenous types with a common base type.
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.
#6980662GitHub System ID
jesyspaOrganization / User
PublicVisibility
ActiveCatalog Status
More from jesyspa
jesyspa/lamb
The Lamb programming language
jesyspa/B3OMI-group-project-datastructures-2014
Repository for all files related to our group project for the Computer Science Research Methods course.
jesyspa/toy-variant
A toy variant implementation I felt like writing.