Suikaba

Japan

Pinned Repositories

arduino_soccer
Arduino Soccer programs
Language:Arduino00
blueoil
Bring Deep Learning to small devices
Language:Python0 1 00
procon-lib
suibaka's competitive programming library
Language:C++2 3 20
publications
My publications
Language:TeX2 3 00
SelingerQuantumLambdaCalculus
Implementatoin of Selinger's Typed Quantum Lambda Calculus
Language:OCaml13 3 01

Suikaba's Repositories

Suikaba/SelingerQuantumLambdaCalculus
Implementatoin of Selinger's Typed Quantum Lambda Calculus
Language:OCaml13 3 01
Suikaba/procon-lib
suibaka's competitive programming library
Language:C++2 3 20
Suikaba/publications
My publications
Language:TeX2 3 00
Suikaba/arduino_soccer
Arduino Soccer programs
Language:Arduino00
Suikaba/blueoil
Bring Deep Learning to small devices
Language:Python0 1 00
Suikaba/can_sat
CanSat project
Language:C++2 0
Suikaba/dotfiles
my dotfiles
Language:Lua2 0
Suikaba/ibm-quantum-challenge-2020
Language:Python2 1
Suikaba/IoPLMaterials
Materials for the class "Implementation of Programming Languages" in Kyoto University.
Suikaba/kupc-web
web
Language:JavaScript
Suikaba/le2sw
実験2ソフトウェア実験
Language:Java2 0
Suikaba/Makefile-example
Language:Makefile2 0
Suikaba/MiniML-Interpreter
Language:OCaml1 5
Suikaba/models
Models and examples built with TensorFlow
Suikaba/procon-solved
解いた問題のコード．あとで実装方針を見つめ直す用に．
Language:C++2 0
Suikaba/quantum_compiler_optim
Quantum Compiler Optimization for IBM QX3 Quantum Computer
Language:C++0 0
Suikaba/QWIRE
A quantum circuit language and formal verification tool
Language:Coq1 0
Suikaba/SIPS4
Simple Instruction set Processor for Study 4bit
Language:Verilog2 3
Suikaba/SQIR
A Small Quantum Intermediate Representation
Language:OpenQASM1 0
Suikaba/tex
My tex templates
Language:TeX2 0
Suikaba/th01
Breakout, my first game sources
Language:C++2 0