ChAoS_UnItY (Kyle Lin)'s repositories
Forgelin-Continuous
Stands with Kotlin!
LibrarianLib
A library for the TeamWizardry mods
Language:Rust000
agda-mode-vscode
agda-mode on VS Code
Language:ReScriptMIT000
AgdaPractice
This is meant to store practices source for the agda PL.
Language:Agda000
Cleanroom
Cleanroom Minecraft.
Language:JavaLGPL-2.1000
CppExp
C preprocessor Experimental edition used for formal verification
Language:HaskellBSD-3-Clause000
Language:Kotlin000
Language:C000
Language:HaskellBSD-3-Clause000
Language:HaskellMIT000
godot
Godot Engine – Multi-platform 2D and 3D game engine
MIT000
Haskell-Hiking
Let's hike a mountain named haskell!
shecc
A self-hosting and educational C compiler
Language:CBSD-2-Clause000
slimcc
C11 compiler with GNU extensions for x86-64 Linux, working towards C23
MIT000
v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. https://vlang.io
Language:VMIT000
v1.ocf.tw
ocf.tw web site, v1
Language:HTMLNOASSERTION000