Beast code in Giters

Shinji KONO's starred repositories

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION250000

An X11 server and client libraries for macOS

Language:Shell82300

Debian's w3m: WWW browsable pager

Language:CNOASSERTION87100

Displays Timezone differences with localtime in CLI (shell script)

Language:ShellBSD-2-Clause16900

A guide to using Lua in Neovim

Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu

Language:CNOASSERTION1101100

This is a tool for USB ManInTheMiddle using eBPF. eBPFを使って、USBにMan-In-The-Middleできるツールを開発中です

Language:Python2800