Discover @togatoga Open Source projects

@togatoga

togatoga

Stars
321
Global Rank 83,846 (Top 3 %)
Followers 88
Following 45
Registered over 10 years ago
Most used languages

Rust
43.5 %

Go
17.4 %

C++
13.0 %

Python
8.7 %

Shell
8.7 %

JavaScript
4.3 %

Dockerfile
4.3 %
Location 🇯🇵 Japan
Country Total Rank 2,645
Country Ranking

Rust
90

C++
361

Go
486

Dockerfile
885

Shell
946

Python
2,813

JavaScript
5,151

kanpyo

Japanese Morphological Analyzer written in Rust

togasat

A Header-Only CDCL SAT Solver for Programming Contest

screwsat

A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

procon-gardener

Archive your accepted code

monkey-json

A hobby project to write JSON parser from the scratch

goforces

goforces is go package for the codeforces api

spoterm

🎵 Playing Spotify on your Terminal 💻

dotfiles

vn

vn is terminal tool to help people learn English

cpm

A tool for managing competitive programming problems

bullsat

codeforces-problems

Problem maneger for Codeforces user

atcoder-sample-downloder

Download sample test cases of AtCoder problems

competitive-lib

competitive-lib

NLP100knock

NLP100本ノック(http://www.cl.ecei.tohoku.ac.jp/nlp100/)

resume

Hypersonic

https://www.codingame.com/contests/hypersonic

elasticsearch-sudachi-experiment

google-hash-code-practice-2020

gatosat

A CDCL SAT solver written in Golang(Go).

talks

procon-archive

scrapsat

pe

pe is a commnad line tool to pronunce an english word.