learning

A minimalistic and high-performance SAT solver

Allows for user to load the 17lands.com draft ratings and show them on command line as they draft in MTGA.

3D and 2D game engine written in Rust

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

Rust re-implementation of OpenFST - library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). A Python binding is also available.

Library for symbolic automata and symbolic visibly pushdown automata

Incremental search for vscode

(Un)abstract graphics library

pySMT: A library for SMT formulae manipulation and solving

A rewrite of the old legacy software "depends.exe" in C# for Windows devs to troubleshoot dll load dependencies issues.

Emacs major mode for CoPL (プログラミング言語の基礎概念)

Flycheck for CoPL (プログラミング言語の基礎概念)

A cross-engine test automation framework based on UI inspection

競技プログラミング用共通ライブラリ

implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples

An implementation of the model checking algorithm IC3 / PDR using Minisat 2.2 as the underlying SAT-solver

A curated list of inequalities in our life

RGSS compatible runtime (namely: emulator for RPG Maker XP, VX, and VX Ace)