GuglielmoS/Imp
A compiler that generates JVM bytecode from a simple imperative language
Public GitHub Catalog
Discovered Oct 12, 2026
GuglielmoS / Idris-dev
A Dependently Typed Functional Programming Language
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.
#36866255GitHub System ID
GuglielmoSOrganization / User
PublicVisibility
ActiveCatalog Status
More from GuglielmoS
GuglielmoS/sfidris
Examples and exercises of Software Foundations in Idris
GuglielmoS/Lispino
A "small" LISP interpreter written in C++
GuglielmoS/svgturtle
a toy implementation of the LOGO language which outputs files in the svg format