Stephen S.H. a.k.a. 大王

2222-42

InFormal Driven Developer

matsuri technologies

Tokyo

https://stephen-s-hanada.ck.page

Languages

Go26%Rust22%Standard ML13%TypeScript9%HTML9%Clojure4%JavaScript4%Isabelle4%OCaml4%Python4%

Loading contributions...

Top Repositories

study-Learn-Systems-Programming-with-Go

Repositories

2222-42/discovery-tree

No description provided.

Go00Updated 2 days ago

2222-42/PdM-three-sketches

No description provided.

TypeScript00Updated 1 week ago

2222-42/ink_echo

Mistral Worldwide Hackathon 2026 Tokyo

TypeScript00Updated 2 weeks ago

2222-42/flip7_strategy

No description provided.

Go00Updated 2 months ago

2222-42/proglog

misc concerning on "Distributed Services with Go"

Go00Updated 2 months ago

2222-42/accounting_spec

No description provided.

Rust00Updated 3 months ago

2222-42/bibliography_log

No description provided.

Go10Updated 2 days ago

2222-42/hecto-tutorialFork

Build your own text editor in Rust

Rust00Updated 3 months ago

2222-42/study-Learn-Systems-Programming-with-Go

No description provided.

Go10Updated 3 months ago

2222-42/gallonFork

A tool to migrate your data from one database to another.

Go00Updated 3 months ago

2222-42/misc-rustlang

No description provided.

Rust20Updated 3 years ago

2222-42/2222-42

No description provided.

00Updated 10 months ago

2222-42/miscClojure

No description provided.

Clojure00Updated 11 months ago

2222-42/misc-youtubejs

No description provided.

JavaScript00Updated 1 year ago

2222-42/practical-tla-plusFork

Source Code for 'Practical TLA+' by Hillel Wayne

00Updated 6 years ago

2222-42/ConcreteSemantics

No description provided.

Isabelle20Updated 5 years ago

2222-42/Lda_server

No description provided.

00Updated 6 years ago

2222-42/copl_excercise

No description provided.

OCaml00Updated 5 years ago

2222-42/test

test

00Updated 12 years ago

2222-42/js-4kxxgm

Created with StackBlitz ⚡️

HTML00Updated 2 years ago

2222-42/js-ysbzxg

Created with StackBlitz ⚡️

HTML00Updated 2 years ago

2222-42/udonariumFork

WebRTCを使ってブラウザ間通信を行うオンセツール

00Updated 2 years ago

2222-42/studyingConcreteSemanticsArchived

No description provided.

00Updated 6 years ago

2222-42/loop-fizz-buzz

No description provided.

Rust00Updated 3 years ago

2222-42/writemdictFork

A library for writing dictionary files in the MDict (.mdx) format

Python00Updated 4 years ago

2222-42/misc-introduction-to-rust

No description provided.

Rust00Updated 4 years ago

2222-42/misc-basic-theory-of-programming-language

No description provided.

00Updated 4 years ago

2222-42/misc-compiler-sml

大堀淳『コンパイラ　原理と構造』の勉強レポジトリー

Standard ML00Updated 4 years ago

2222-42/studyIntroductionToStandardML

No description provided.

Standard ML00Updated 4 years ago

2222-42/studyingSMLSharp

No description provided.

Standard ML00Updated 4 years ago

Stephen S.H. a.k.a. 大王

Languages

Loading contributions...

Top Repositories

Repositories

Gists

Recent Activity