Stars
The problem data (Test case generator, judge's solution, task, ...) of Library Checker
Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries
The library for web and native user interfaces.
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, written in Python 3.9
SPIM for Hardware and Software Laboratory Project 3 (Software) / 計算機科学実験及び演習3 (ソフトウェア)
Transmits AM radio on computers without radio transmitting hardware.