y
yuki-takeichi
50 repositories
12 followers
Repositories
Select a repository to view its commits, contributors, and more.public
datalog-sql
A datalog to SQL translator
Haskell
4
0
0
Updated 5 years ago
public
tensor-haskell
Basic morphisms and operators in Markov category
Haskell
2
0
0
Updated 3 years ago
public
house-moving
My first single life
1
0
11
Updated 9 years ago
public
callback2asyncawait
JavaScript
0
0
0
Updated 6 years ago
public
jabara
Ruby
0
0
0
Updated 9 years ago
public
nparse
Yet another Parse-compatible API server in Go
0
0
0
Updated 9 years ago
public
CooperativeActivity
Java
0
0
0
Updated 10 years ago
public
sudoku-scheme
Racket
0
0
0
Updated 6 years ago
public
deadlock-checker-cpp
https://principia.connpass.com/event/143181/
C++
0
0
0
Updated 4 years ago
public
HList
Haskell
0
0
0
Updated 3 years ago
public
gmailsender
Python
0
0
0
Updated 8 years ago
public
JavaStaticAnalyzer
Java Static Analyzer written in Haskell
Haskell
0
0
0
Updated 10 years ago