soukouki Goto Github PK

10cc

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

baby-interpreter

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

clojure-ring-test

myscalcをブラウザから使えるように？してみた

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-learning

coq-quick_sort

Proving the quick sort with Coq.

cpp-mini-interpriter

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

de-mane

dice.rb

サイコロを表現できる(?)

discordrb

Discord API for Ruby

elm-competitive-program-template

Template for competitive programming in Elm.

eraser-dotfiles

erg

A Python-compatible statically typed language

github-note-base

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

greetingbot

a discord bot

gt

gitのブランチ操作をまとめた感じのやつ。

how-objects-work

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

i3-settings

jma-alert-division

気象庁の区分のデータ

jma-info

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

kramdown

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

mathlib

micro-discord

Simple discord client (not use javascript)

minesweeper-elm

elmで作ったマインスイーパーです。

nullius-ja

pak-nippon

simutrans pakset pak.nippon

rr.rb

a compact Ruby Repl.

rules

会則

scr-misskey

Tool to take screenshots, compress and post to misskey.

semver.org

Semantic Versioning spec and website