anko's repositories

ankolib

Library for abstract mathematics written by Rust. It is aiming to replace SageMath.

Language:RustLicense:MITStargazers:7Issues:1Issues:0

mini_symbolic

minimal symbolic executor

Language:RustStargazers:2Issues:2Issues:0

library

競プロとCTFのライブラリ集

Language:C++Stargazers:1Issues:2Issues:0

note

主に数学や物理などを記した個人的なノートを置いています。

Language:TeXStargazers:1Issues:1Issues:0
Language:GoStargazers:0Issues:0Issues:0
Language:AstroStargazers:0Issues:1Issues:0
Language:MakefileStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

chatgpt-api

Node.js client for the unofficial ChatGPT API.

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

dotfiles

dotfiles and build base settings

Language:ShellStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

isucon10-qualify

ISUCON10予選

Language:GoLicense:MITStargazers:0Issues:1Issues:0
Language:GoStargazers:0Issues:3Issues:0
Language:TypeScriptStargazers:0Issues:3Issues:0

isucon7-qualify

ISUCON7 予選問題の参照実装とベンチマーカー

Language:GoLicense:MITStargazers:0Issues:1Issues:0

isucon9-qualify

ISUCON9予選

Language:GoLicense:MITStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:1Issues:0

pawnyable

PAWNYABLE!

Language:CStargazers:0Issues:0Issues:0
Language:GoLicense:MITStargazers:0Issues:0Issues:0
Language:GoStargazers:0Issues:1Issues:0

SATySFi

A statically-typed, functional typesetting system

License:LGPL-3.0Stargazers:0Issues:0Issues:0

satysfi-azmath

A SATySFi package containing A-to-Z mathematical commands.

License:MITStargazers:0Issues:0Issues:0

traQ

traQ - traP Internal Messenger Application Backend

Language:GoLicense:MITStargazers:0Issues:1Issues:0

traQ_S-UI

traQ S - traP Internal Messenger Application Frontend

Language:VueLicense:MITStargazers:0Issues:0Issues:0

type-challenges

Collection of TypeScript type challenges with online judge

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0
Language:CSSLicense:MPL-2.0Stargazers:0Issues:0Issues:0