koba-e964

https://atcoder.jp/users/kobae964 Languages: native Japanese, professional working English, elementary Swedish

Pinned Repositories

atcoder-rating-estimator
Rating estimator
Language:HTML2 3 01
bip32-typesafe
A Go implementation of BIP 32 which is type-safe and a best-effort attempt at timing-attack resistance
Language:Go0 2 10
code-reading
コードリーディングした結果わかったことをまとめる。gist だと一覧性に欠け管理しにくいので git で管理する。
Language:Go7 3 00
contest
programming contests, problems, et cetera
Language:Rust25 4 295
creo
Language:Rust3 3 00
min-caml-rust
A min-caml port to Rust
Language:Rust25 5 24
rust-schreier-sims
An implementation of Schreier-Sims algorithm in group theory
Language:Rust6 3 20
RUSThello
A simple Reversi game, written in Rust with love.
Language:Rust3 2 01
ski-comb
SKI
3 3 00
shogi_core
Defines fundamental data types and functions
Language:Rust9 3 180

koba-e964's Repositories

koba-e964/ski-comb
SKI
3 3 00
koba-e964/hayashii-mcc
MinCaml on Haskell
Language:Haskell2 2 00
koba-e964/lambda
Lambda calculus
Language:Scala1
koba-e964/raytrace
Language:OCaml1
koba-e964/tigress
An interpreter for a subset of Tiger.
Language:Haskell1 3 0
koba-e964/3d4moku-ai
AI for 3D 4-moku narabe
Language:Haskell
koba-e964/automaton
Language:Haskell
koba-e964/category-seminar
Materials for category theory seminar
Language:HTML
koba-e964/composed
作曲
koba-e964/DeviceConnect
DeviceConnect WebAPI
koba-e964/experiment
experiment
Language:Ruby
koba-e964/FPU
koba-e964/garbecolle
Language:JavaScript
koba-e964/happy
The Happy parser generator for Haskell
Language:Haskell
koba-e964/HoTT-exercise
HoTT exercise
Language:Coq3 0
koba-e964/httpserver
HTTP server
Language:C
koba-e964/iron-kaleidoscope
LLVM tutorial in Rust language
Language:Rust
koba-e964/Kaguya
prolog
Language:Haskell
koba-e964/kaleidoscope
Haskell LLVM Kaleidoscope Tutorial
Language:Haskell
koba-e964/melisma
A dialect of ML written by koba-e964.
Language:Haskell
koba-e964/min-caml
MinCaml for Zebius
Language:OCaml
koba-e964/min-caml-llvm
min-caml[forked]
Language:OCaml
koba-e964/minisat-rust
Experimental minisat SAT solver reimplementation in Rust
Language:Rust
koba-e964/othello-ai
Othello AI
Language:Haskell
koba-e964/picrin
a lightweight scheme interpreter
Language:Scheme
koba-e964/qepcad
Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
Language:C
koba-e964/rust-peg
Parsing Expression Grammar (PEG) parser generator for Rust
Language:Rust
koba-e964/scala
The Scala programming language
Language:Scala
koba-e964/strategic-tic-tac-toe
AI play routine for strategic tic-tac-toe (http://www.notdoppler.com/strategictictactoe.php)
Language:C++
koba-e964/Zekamashi
Second architecture of team 0
Language:VHDL