Pine tool. Detailed description of the technique can be found in the paper "Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis" A.Izycheva, E.Darulova, H.Seidl, SAS'20

Tool for Rigorous Estimation of Round-Off Floating-Point Errors

PolyQEnt is a solver for Polynomial Quantified Entailments (PQE).

Nix - Static, Permissionless, Installation-free, Pre-configured

Oink, an implementation of modern parity game solvers

A one-of-a-kind resume builder that keeps your privacy in mind. Completely secure, customizable, portable, open-source and free forever. Try it out today!

使用azure open ai api自动在boss直聘上投递简历并根据岗位需求和简历生成有竞争力的打招呼语句

This is a tool used to automatically generate a cover letter using chatgpt based on your resume and job description and send messages to bosses in China.

a blind signature contract

Based on Talking-head-anime 3, works like Vtube Studio.

Based on a true story

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

Connect, secure, control, and observe services.

if you are Thanos(root), this command could delete half your files randomly

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

Vim配置，为python、go开发者打造的IDE。