fkettelhoit/dddd
A stack-based language written completely in LLVM assembly.
Public GitHub Catalog
Discovered Sep 25, 2026
fkettelhoit / agda-prelude
A Prelude for the Agda Standard Library
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.
#4545590GitHub System ID
fkettelhoitOrganization / User
PublicVisibility
ActiveCatalog Status
More from fkettelhoit
fkettelhoit/bottom-up-datalog-js
A very short and simple implementation of (bottom-up) Datalog in JS
fkettelhoit/simpler-finger-trees
A data structure similar to Finger Trees. In Clojure.
fkettelhoit/talk-fingertrees
My talk about the finger trees data structure for the Fun Club / Haskell User Group meetup