Skip to content
View imkiva's full-sized avatar
🍥
fall in love with @SEmmmer
🍥
fall in love with @SEmmmer

Organizations

@llvm @owo-lang @aya-prover

Block or report imkiva

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Rust library for OpenAI

Rust 1,936 377 Updated Jun 18, 2026

A git client based on the IntelliJ platform

Java 4,291 172 Updated Jun 19, 2026

beautify wslg title bar to make look like windows

13 1 Updated Apr 25, 2026

自带预链接的轻量TCP转发,有效消除线路鸡到落地鸡之间的握手延时。之前用过的用户请重新在readme里复制脚本蟹蟹。

C 80 15 Updated May 27, 2026

mold: A Modern Linker 🦠

C++ 16,604 537 Updated Jun 16, 2026

WARP wireguard config generator in POSIX Shell

Shell 649 139 Updated Aug 9, 2025

Easily install the new Windows Terminal or Windows Terminal Preview on Windows Server 2022 and newer.

PowerShell 10 Updated Dec 12, 2025

A simple, decentralized mesh VPN with WireGuard support.

Rust 12,049 1,187 Updated Jun 19, 2026

Filter TLS traffic with IPtables

C 249 48 Updated Oct 9, 2025

A new packaging format for Java programs.

Java 96 2 Updated Mar 22, 2026

Generates a project with Aya infrastructure and Grammar-Kit parsing setup.

Java 5 1 Updated Jun 9, 2026

✨ Making your shell magical

Rust 30,299 865 Updated Jun 17, 2026

TeXpresso: live rendering and error reporting for LaTeX

C 721 39 Updated Jun 2, 2026

[Deprecated] An early language server for Typst, plus a VS Code extension

Rust 1,157 73 Updated Nov 5, 2024

A markup-based typesetting system that is powerful and easy to learn.

Rust 54,419 1,612 Updated Jun 19, 2026

being an operating system for typechecking processes

Haskell 133 2 Updated Oct 7, 2025

History of type theory (Chinese).

TeX 357 11 Updated May 25, 2025

high-performance cubical evaluation

TeX 84 4 Updated Jun 9, 2026

Fast Java native interface based on JVMCI

Java 482 30 Updated Jun 4, 2025

FlatLaf - Swing Look and Feel (with Darcula/IntelliJ themes support)

Java 4,210 327 Updated Jun 19, 2026

~ Intellij Platform plugin for Aya Prover

Java 8 Updated Feb 13, 2026

Staged push/pull fusion with typed Template Haskell

Haskell 62 1 Updated Dec 17, 2023

A powerful, easy-to-use, modern Java core library for the future

Java 63 4 Updated Jan 17, 2026

Constructor of incremental parsers in Scala

Scala 453 23 Updated Dec 15, 2020

Setoid type theory implementation

Haskell 41 Updated Aug 24, 2023

NVIDIA Linux open GPU kernel module source

C 17,102 1,720 Updated Jun 17, 2026

A massively parallel, optimal functional runtime in Rust

Cuda 11,289 435 Updated Nov 21, 2024

Quantum assembly language for extended quantum circuits

Python 1,483 358 Updated Jun 10, 2026

virtio implementation

Rust 461 112 Updated May 26, 2026
Next