pogin's repositories
ac-library
AtCoder Library
ansible-documentation
Ansible community documentation
atcoder-tools
Convenient modules & tools for AtCoder users, written in Python 3.6
code-jiten
Code example reference
r-like-example
Display function example plugin
rosetta-lisp
A set of Lisp-1 implementations that share the VM instruction set, built-in functions, and the bootstrapping code
bct
WIP: work in progress
c-lesson
karino2の暇つぶしプログラム教室のC言語を教えるのに使うgithub pageのレポジトリです。
Gdbinit
Gdbinit for OS X, iOS and others - x86, x86_64 and ARM
ground_zero
Ground Zero: Lean 4 HoTT Library
lean-by-example
コード例で学ぶ Lean 言語
lean-math-workshop
数学系のためのLean勉強会
lean-workshop
SF.lean勉強会でigrepが書いたコードの記録
lean99
These are Lean translations of Ninety-Nine Haskell Problems (WIP)
LinuxTimeline
Linux Distributions Timeline
Makefile-Templates
Makefile templates for different sized projects
microps
An implementation of a small TCP/IP protocol stack for learning.
nixos-and-flakes-book-ja
:hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! NixOS & Flakesについて細かく知りたくないですか? 初心者に優しいチュートリアルを探してますか? ここで勉強しましょう!
omomuro.dev
omomuro.dev
vscode-emacs-mcx
Awesome Emacs Keymap - VSCode emacs keybinding with multi cursor support