Command-line JSON processor

Lean's LEDE source

htop - an interactive process viewer

american fuzzy lop - a security-oriented fuzzer

LeetCode in pure C

GNU Bison

Pure C solution for LeetCode

SWI-Prolog stable releases

RISC-V Verification Interface

My leetcode solutions in C

『Binary Hacks Rebooted』のサポートリポジトリ

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

Spawning sub-processes

Python interface for SWI-Prolog

YAP Development release

Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project

YAP Development release