- Seoul, South Korea
- https://if1live.github.io/
- @if1live
- @if1live.bsky.social
- All languages
- Assembly
- Astro
- Batchfile
- C
- C#
- C++
- CSS
- CoffeeScript
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- Gleam
- Go
- HCL
- HTML
- Haskell
- Haxe
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Markdown
- MoonBit
- Nunjucks
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- Ruby
- Rust
- Scala
- ShaderLab
- Shell
- Svelte
- Swift
- Text
- TypeScript
- Visual Basic
- Zig
Starred repositories
A library for building server application using loop-action programming model on .NET.
A little language inspired by Rust that compiles to Go
Super fast bulk insertion for Entity Framework Core on SQL Server, PostgreSQL, Sqlite, MySQL and Oracle
Various translations of OSTEP can be found here. Help the cause and contribute!
Beginner, advanced, expert level Rust training material
An iOS OCR Server Using Apple’s Vision Framework
🤖 A minimal and customizable Docker image running the Android emulator as a service.
Python GUI builder. GUI builder for Tkinter, CustomTkinter, Kivy(upcoming) and PySide
Elixir bindings for the OXC JavaScript toolchain — parse, transform, and minify JS/TS via Rust NIFs
A programmable MITM proxy that intercepts HTTP/HTTPS traffic so you don't have to guess what your app is doing. Forward & reverse modes, TLS interception, TUI, terminal, and web GUI.
A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎,预测万物
Execute Python from Erlang using dirty NIFs with GIL-aware execution, rate limiting, and free-threading support
A modern framework for building modern CLI apps
Datamined data for the game Arknights: Endfield
Type-safe, K-sortable, globally unique identifier inspired by Stripe IDs
Android real-time display control software
Tiny alternative Discord client with a smaller footprint, snappier startup, themes, plugins and more!
Tower defense game that teaches cloud architecture. Build infrastructure, survive traffic, learn scaling.
A lightweight, secure, and feature-rich Discord terminal (TUI) client.
Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity
DNS-Blocklists: For a better internet - keep the internet clean!
A simple, lightweight PowerShell script that allows you to remove pre-installed apps, disable telemetry, as well as perform various other changes to declutter and customize your Windows experience.…