Takahiro Sanada
sndtkrh
A theoretical computer scientist.
Fukui, Japan
Languages
C++24%Agda19%OCaml14%Rust10%Reason10%Emacs Lisp5%Python5%Haskell5%JavaScript5%TeX5%
Top Repositories
Repositories
22SN
sndtkrh/raytracing
No description provided.
OCaml10Updated 1 month ago
SN
sndtkrh/arrowlang
No description provided.
Rust00Updated 4 months ago
SN
sndtkrh/arrow-effect-handler
A formalisation of arrow calculus with operations and effect handlers
Agda00Updated 2 years ago
SN
sndtkrh/bisimulation-agda
No description provided.
Agda00Updated 3 years ago
SN
sndtkrh/graph-unfold
No description provided.
Rust00Updated 3 years ago
SN
sndtkrh/oekaki
A string diagram editor
Reason00Updated 3 years ago
SN
sndtkrh/surikagaku
A software for computational topology
C++10Updated 3 years ago
cpp11homology-computationtopology
SN
sndtkrh/preorder-constr-sim-agdaFork
No description provided.
Agda00Updated 4 years ago
SN
sndtkrh/catlib
category theory in Agda
Agda00Updated 4 years ago
SN
sndtkrh/dotfiles
No description provided.
Emacs Lisp00Updated 4 years ago
SN
sndtkrh/diagraml
No description provided.
OCaml00Updated 5 years ago
SN
sndtkrh/reason-3moku
No description provided.
Reason00Updated 5 years ago
SN
sndtkrh/tapl
No description provided.
OCaml01Updated 6 years ago
SN
sndtkrh/dockerfiles
No description provided.
00Updated 7 years ago
SN
sndtkrh/slack-photo-collector
Collect photo in slack and upload them to Google Photo
Python00Updated 7 years ago
google-photosslack
SN
sndtkrh/qcirs
Quantum circuit simulator
C++00Updated 7 years ago
cppquantum-computingquantum-programming-language
SN
sndtkrh/haskanren
An implementation of microKanren in Haskell
Haskell00Updated 7 years ago
SN
sndtkrh/neural-network
neural network
C++00Updated 8 years ago
cpp11neural-network
SN
sndtkrh/ssgen
任意の時刻・位置における星の座標を計算して画像にする
C++00Updated 8 years ago
SN
sndtkrh/vids
お絵描きチャット
JavaScript00Updated 8 years ago
SN
sndtkrh/kyogi-lib
競技プログラミング用ライブラリ
C++00Updated 8 years ago
SN
sndtkrh/AlgebraicCurves
Algebraic Curves の解答
TeX00Updated 9 years ago