Digifox03's Stars
hneemann/Digital
A digital logic designer and circuit simulator.
korlibs/korge
KorGE Game Engine. Multiplatform Kotlin Game Engine
idris-lang/Idris2
A purely functional programming language with first class types
kwebio/kweb-core
A Kotlin web framework
DevSolar/pdclib
The Public Domain C Library
tc39/proposal-readonly-collections
Proposal: snapshot,diverge,readOnlyView methods for all collections
LambdAurora/MCPatcherPatcher
A resource pack patcher to abandon the old MCPatcher format in favor of newer formats.