HyperSquid3(WIP)

Verified Rust for low-level systems code

낭만고양이(Romantic Cat) cover for GBA

Plugin for affine arithmetic

egg is a flexible, high-performance e-graph library

TRUST – Coding Rust like it's 1989

IBEX is a C++ library for constraint processing over real numbers.

Rigorous Global Branch-and-Bound Optimizer

A profiler to study usage patterns of mathematical functions in scientific applications

❌ Cargo plugin for linting your dependencies 🦀

명령어 설치 한번으로 한달 KT 인터넷 요금을 무료로 쓸 수 있습니다. 귀찮은 공문 작성 필요 없습니다.

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Chisel: A Modern Hardware Design Language

아래한글 hwp viewer and editor by rust and wasm

Chakravyuha is an intelligent, adaptive C/C++ obfuscation engine powered by the LLVM compiler framework. It is designed to protect software intellectual property from reverse engineering, piracy, a…

SystemVerilog language server

Obsidian plugin to import Alt (altalt.io) lecture notes with LLM-powered concept extraction and exam summaries

An LLVM backend implementation targeting the Zilog Z80 processor

A parser for [Super] GameBoy [Color] ROMs

Create slideshow ROMs for your Game Boy directly in your browser.

A LZSS en-/decompressor (lossless data compression, no_std capable, in pure Rust)

Rust task runner and build tool.

FSM is a simple GUI program to get information about software and hardware of Linux PC

A compiled programming language with Korean keywords, written in Rust

A c++ gameboy library and a few games

A Rust journey into Game Boy dev

Gameboy backend for llvm