C++ Library for ICPC

Get Google Home to say something

C# 競技プログラミングライブラリです

プログラミングコンテスト用のライブラリ

The problem data (Test case generator, judge's solution, task, ...) of Library Checker

Fast lexer code generator for Rust

NVIDIA cuML: GPU-Accelerated Machine Learning

libc++; cloned from http://llvm.org/git/libcxx.git

kazuma8128's competitive programming library

Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries

The library for web and native user interfaces.

NumPy & SciPy for GPU

Compiler from OCaml to Javascript.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Tetris game AI for the highest drop speed (20G) environment

Empowering everyone to build reliable and efficient software.

Functional HTML scraping and rewriting with CSS in OCaml

Tools for various online judges. Downloading sample cases, generating additional test cases, testing your code, and submitting it.

Multi-tier framework for programming web and mobile applications in OCaml.

Rendered math (MathJax) with Slack's desktop client

Free continuous integration platform for GitHub projects.

Deductive verifier for CUDA

Convenient modules & tools for AtCoder users, supporting Python 3.10+

SPIM for Hardware and Software Laboratory Project 3 (Software) / 計算機科学実験及び演習3 (ソフトウェア)

Transmits AM radio on computers without radio transmitting hardware.

Atcoder の standings の名前をユーザーネームにする Chrome 拡張