soukouki

sou7's repositories

10cc

C compiler training code based on https://www.sigbus.info/compilerbook

Language:CCC0-1.0300

baby-interpreter

学習用に作った、機能を拡張しやすいようなインタプリタです

Language:JavaScriptMIT2 10

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.

Language:OCamlLGPL-2.1000

coq-quick_sort

Proving the quick sort with Coq.

Language:Coq020

cpp-mini-interpriter

C++の小型のインタプリタ

Language:C++MIT020

de-mane

I want credits.

Language:Lean020

discordrb

Discord API for Ruby

Language:RubyMIT010

elm-competitive-program-template

Template for competitive programming in Elm.

Language:ElmMIT010

erg

A Python-compatible statically typed language

Language:RustApache-2.0010

github-note-base

githubを使った、マークダウンのメモをHTMLに変換して公開するシステム。

Language:Ruby010

How-Objects-Work

"オブジェクト指向でなぜつくるのか"輪読会

Language:HTML000

jma-info

気象庁のデータを読み取ってなんかする

Language:RubyMIT020

kramdown

kramdown is a fast, pure Ruby Markdown superset converter, using a strict syntax definition and supporting several common extensions.

Language:RubyNOASSERTION000

nullius-ja

MIT000

rr.rb

a compact Ruby Repl.

Language:RubyMIT020

Rules

会則

010

scr-misskey

Tool to take screenshots, compress and post to misskey.

Language:ShellMIT020

shapez.io

shapez.io is an open source base building game inspired by factorio! Available on web & steam

Language:JavaScriptGPL-3.0000

sicp-reading-note

SICP(計算機プログラムの構造と解釈)の練習問題を解いてみる

Language:Scheme010

simutrans-extended

Sources for the Experimental branch of the popular game Simutrans

Language:C++NOASSERTION000

simutrans-pak128.britain-ex

Simutrans pak128.Britain, both standard and experimental

NOASSERTION000

simutrans-savedate

シムトランスのセーブデータ

010

simutrans_world_monitor

雑改造

Language:SquirrelMIT000

sou7-backlight

A backlight controller

Language:Shell010