jesyspa/book
An Introduction to Various Math Topics
Public GitHub Catalog
Discovered Oct 1, 2026
jesyspa / agda-vim
Agda interaction in vim
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.
#21529388GitHub System ID
jesyspaOrganization / User
PublicVisibility
ActiveCatalog Status
More from jesyspa
jesyspa/jy-c-to-bytecode
A bytecode interpreter, plus a compiler for a C-like language to that bytecode.
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.