GitHunt

Takahiro Sanada

sndtkrh

A theoretical computer scientist.

Languages

C++24%Agda19%OCaml14%Rust10%Reason10%Emacs Lisp5%Python5%Haskell5%JavaScript5%TeX5%

Top Repositories

Repositories

22
SN
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

Gists

Recent Activity