Skip to content
View kimminss0's full-sized avatar

Block or report kimminss0

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

Haskell 1,930 422 Updated Dec 15, 2025

Original Proof-of-Concepts for React2Shell CVE-2025-55182

JavaScript 954 106 Updated Dec 5, 2025

High Fidelity Detection Mechanism for RSC/Next.js RCE (CVE-2025-55182 & CVE-2025-66478)

Python 2,294 242 Updated Dec 7, 2025

🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…

Rust 17,866 771 Updated Dec 22, 2025

Lightweight GUI for managing Bhyve, Jails, ZFS, networking, and more on FreeBSD

Go 378 29 Updated Dec 19, 2025

Terminal-based presentations using Pandoc

Haskell 2,659 67 Updated Sep 25, 2025

Liquid Types For Haskell

Haskell 1,275 150 Updated Dec 19, 2025

Swiss Ephemeris source code, official release by Astrodienst. For reporting issues or problems, please use the public mailing list https://groups.io/g/swisseph

C 549 197 Updated Dec 13, 2025

This is a cheat sheet for doom emacs, mostly from the guides I see online.

660 70 Updated Jul 26, 2025

Web framework built on Web Standards

TypeScript 27,846 879 Updated Dec 22, 2025

A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.

Rust 3,753 83 Updated Dec 19, 2025

BertViz: Visualize Attention in NLP Models (BERT, GPT2, BART, etc.)

Python 7,845 857 Updated Jun 1, 2025

vinegar.vim: Combine with netrw to create a delicious salad dressing

Vim Script 2,327 91 Updated Jun 28, 2024

Mirror only. Official repository is at https://git.zx2c4.com/wireguard-tools

C 603 232 Updated Jun 26, 2025

A repository for learning various heap exploitation techniques.

C 8,335 1,237 Updated Dec 2, 2025

UNIX-like reverse engineering framework and command-line toolset

C 22,778 3,151 Updated Dec 21, 2025

Xv6 for RISC-V

C 9,005 3,557 Updated Dec 17, 2025

MCP server for Bazi (八字) information

TypeScript 226 79 Updated Oct 11, 2025

Pi Pico VGA Terminal Emulator For RC2014

C 91 19 Updated Jan 20, 2024

A good looking terminal emulator which mimics the old cathode display...

QML 24,835 931 Updated Dec 17, 2025

Unikernel and immutable infrastructures

C++ 617 51 Updated Feb 16, 2022

MirageOS is a library operating system that constructs unikernels

OCaml 2,798 262 Updated Nov 24, 2025

The Rumprun unikernel and toolchain for various platforms

C 1,166 125 Updated May 11, 2020

A minimal, resource efficient unikernel for cloud services

C++ 5,199 389 Updated Dec 18, 2025

➖ Stripped down, stable version of firecrawl optimized for self-hosting and ease of contribution. Billing logic and AI features are completely removed. Crawl and convert any website into LLM-ready …

TypeScript 626 53 Updated May 23, 2025

Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…

Verilog 1,292 31 Updated Dec 21, 2025

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Rocq Prover 224 23 Updated Oct 14, 2025

e북 자동 캡쳐 프로그램

Python 30 8 Updated Aug 4, 2025

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Emacs Lisp 24,770 4,870 Updated Dec 12, 2025
Next