-
POSTECH
- Seoul, South Korea
-
17:16
(UTC +09:00) - https://blog.mskim.org
- in/kimminss0
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Dart
- Dockerfile
- Emacs Lisp
- Euphoria
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Lua
- MLIR
- Makefile
- Markdown
- OCaml
- Objective-C
- PHP
- Pascal
- Python
- QML
- Rocq Prover
- Rust
- SQL
- Shell
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- Tree-sitter Query
- TypeScript
- VHDL
- Verilog
- Vim Script
- YARA
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Original Proof-of-Concepts for React2Shell CVE-2025-55182
High Fidelity Detection Mechanism for RSC/Next.js RCE (CVE-2025-55182 & CVE-2025-66478)
🚀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…
Lightweight GUI for managing Bhyve, Jails, ZFS, networking, and more on FreeBSD
Swiss Ephemeris source code, official release by Astrodienst. For reporting issues or problems, please use the public mailing list https://groups.io/g/swisseph
This is a cheat sheet for doom emacs, mostly from the guides I see online.
A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.
BertViz: Visualize Attention in NLP Models (BERT, GPT2, BART, etc.)
vinegar.vim: Combine with netrw to create a delicious salad dressing
Mirror only. Official repository is at https://git.zx2c4.com/wireguard-tools
A repository for learning various heap exploitation techniques.
UNIX-like reverse engineering framework and command-line toolset
A good looking terminal emulator which mimics the old cathode display...
MirageOS is a library operating system that constructs unikernels
The Rumprun unikernel and toolchain for various platforms
A minimal, resource efficient unikernel for cloud services
devflowinc / firecrawl-simple
Forked from firecrawl/firecrawl➖ 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 …
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…
Formal proof of the Four Color Theorem [maintainer=@ybertot]
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!