GuglielmoS/sfidris
Examples and exercises of Software Foundations in Idris
Public GitHub Catalog
Discovered Sep 27, 2026
GuglielmoS / svgturtle
a toy implementation of the LOGO language which outputs files in the svg format
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#9260874GitHub System ID
GuglielmoSOrganization / User
PublicVisibility
ActiveCatalog Status
More from GuglielmoS
GuglielmoS/Lispino
A "small" LISP interpreter written in C++
GuglielmoS/guglielmos.github.com
Public repository.
GuglielmoS/Deflate
Implementation of the Deflate algorithm (RFC1951)