GuglielmoS/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Oct 14, 2026
GuglielmoS / Imp
A compiler that generates JVM bytecode from a simple imperative 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.
#37858980GitHub 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