ChAoS_UnItY (Kyle Lin)'s repositories
Forgelin-Continuous
Stands with Kotlin!
LibrarianLib
A library for the TeamWizardry mods
Language:Rust000
AgdaPractice
This is meant to store practices source for the agda PL.
Language:Agda000
amis-moedict
阿美語萌典網站
Language:JavaScriptNOASSERTION000
Cleanroom
Cleanroom Minecraft.
Language:JavaLGPL-2.1000
CppExp
C preprocessor Experimental edition used for formal verification
Language:HaskellBSD-3-Clause000
Language:Kotlin000
Language:HaskellBSD-3-Clause000
Haskell-Hiking
Let's hike a mountain named haskell!
rust
Empowering everyone to build reliable and efficient software.
Language:RustNOASSERTION000
shecc
A self-hosting and educational C compiler
Language:CBSD-2-Clause000
v
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. https://vlang.io
Language:VMIT000
v-vim
Support for V syntax highlighting in Vim
Language:Vim Script000
v1.ocf.tw
ocf.tw web site, v1
Language:HTMLNOASSERTION000