sou7's repositories
baby-interpreter
学習用に作った、機能を拡張しやすいようなインタプリタです
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-quick_sort
Proving the quick sort with Coq.
cpp-mini-interpriter
C++の小型のインタプリタ
elm-competitive-program-template
Template for competitive programming in Elm.
github-note-base
githubを使った、マークダウンのメモをHTMLに変換して公開するシステム。
How-Objects-Work
"オブジェクト指向でなぜつくるのか"輪読会
kramdown
kramdown is a fast, pure Ruby Markdown superset converter, using a strict syntax definition and supporting several common extensions.
nixpkgs
Nix Packages collection & NixOS
notes-test
https://github.com/dhzdhd/obsidian-ssg を試したが、うまく動かなかった。Quartzも試してる
quartz
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
quartz-build-action
💎 A simple GitHub Action for producing Quartz build artifacts
scr-misskey
Tool to take screenshots, compress and post to misskey.
sicp-reading-note
SICP(計算機プログラムの構造と解釈)の練習問題を解いてみる
simutrans-extended
Sources for the Experimental branch of the popular game Simutrans
simutrans-pak128.britain-ex
Simutrans pak128.Britain, both standard and experimental
simutrans-savedate
シムトランスのセーブデータ
sou7-backlight
A backlight controller