KAIST Educational Virtualization

Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices

🏡 Open source home automation that puts local control and privacy first.

The web-based visual programming editor.

An UNOFFICIAL cross-platform KakaoTalk client written in TypeScript & Rust (SolidJS, tauri)

Main source code repository of the Tamarin prover for security protocol verification.

Hatsune Miku Cursors for Windows/Linux!

💖🧸 Self hosted, you owned Grok Companion, a container of souls of waifu, cyber livings to bring them into our worlds, wishing to achieve Neuro-sama's altitude. Capable of realtime voice chat, Minec…

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Containerization is a Swift package for running Linux containers on macOS.

High performance Lua interpreter implemented in C# for .NET and Unity

Checksec

32-bit PoC for CVE-2024-6387 — mirror of the original 7etsuo/cve-2024-6387-poc

Lua for Java on Windows, Mac OS X, Linux, Android. 5.1, 5.2, 5.3, 5.4, 5.5, LuaJ or LuaJIT.

CP, PS 정수론을 위한 가이드

여기에 있는 자료구조/알고리즘만 전부 알아도 solved.ac 마스터 보장!

Korean IME

Optimized implementations of various library functions for ARM architecture processors

A tool for writing better scripts

Clang bindings for .NET written in C#

Libre Minecraft mappings, free to use for everyone. No exceptions.

KAIST CS420: Compiler Design

A rhythm game made with HaxeFlixel

📚 Freely available programming books

3D ConvexHull with OpenGL and ComputeShader GPGPU

📁 Easily drag windows when pressing the alt key. (Windows)

The source code and content for https://fabricmc.net/

CSE3030 Assembly Programming

An easy to use rendering library for Minecraft mods using the Fabric toolchain