Pinned Repositories
.emacs.d
My .emacs.d
cube_competition_management_tools
cuberyl
NxNxN cube puzzle for JavaScript
go_ahead_4BLD
4BLD analysis checker
hinemos
Website for Blindfolded speedcubing players
hinemos_api
present_tsumeshogi_effectively
解くのに多少時間がかかる問題を解くことこそが大切だと考えられます。
sakabar's Repositories
sakabar/cube_competition_management_tools
sakabar/go_ahead_4BLD
4BLD analysis checker
sakabar/.emacs.d
My .emacs.d
sakabar/cuberyl
NxNxN cube puzzle for JavaScript
sakabar/hinemos
Website for Blindfolded speedcubing players
sakabar/hinemos_api
sakabar/ac-library-rs
ac-library-rs is a rust port of AtCoder Library (ACL).
sakabar/aws-hands-on-build-react-app-amplify-graphql
sakabar/babel
🐠 Babel is a compiler for writing next generation JavaScript.
sakabar/BLD_3cycle_translator
sakabar/copper-beryllium
This library represents NxNxN cube puzzle.
sakabar/eslint
A fully pluggable tool for identifying and reporting on patterns in JavaScript.
sakabar/independence-proof-on-coq
Formalization of the following book with coq : SET THEORY, An introduction to Independence Proofs by Kenneth Kunen
sakabar/kanchoku-training
sakabar/kanchoku-training-api
sakabar/kanchoku-training-ui
sakabar/lambda-calculus-coq
sakabar/letter_pair_mgr_api
sakabar/Lokicy
sakabar/PB_history
My personal best results
sakabar/react-share
Social media share buttons and share counts for React
sakabar/reg-suit
:recycle: Visual Regression Testing tool
sakabar/rs9cc
transcription of https://www.sigbus.info/compilerbook with Rust
sakabar/Schronu
sakabar/scramble-extractor
sakabar/speedcubing-advent-calendar-2023-script
https://adventar.org/calendars/8548
sakabar/task-passing-network-simulator
sakabar/tutcode-conqueror
sakabar/tutcode_practice
sakabar/wca-regulations-translations
[WCA Project] Translations of the the WCA documents.