-
Anonymized
- Japan
- http://ashiato45.github.io/
Stars
Udopia / minisat
Forked from niklasso/minisatA 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.
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
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.
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
RGSS compatible runtime (namely: emulator for RPG Maker XP, VX, and VX Ace)