nyuichi

satysfi-base

complementary collection of useful functions and modules for SATySFi

gc.h

Header-only Non-moving & Precise GC for C

LeanHOL

super tiny implementation of higher-order logic proof assistant in lean

r7expander

R7RS expander

yabai-sat

sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simplification + literal block distance

rhhash.h

Generic Hashtable Implementation in C

homebrew-satysfi

shari

A proof assistant based on the internal language of topos with NNO (intuitionistic higher-order arithmetic)

any.h

bitvisor

holzero

sandbox-testing-rs

Run rust unit tests in docker container

xv6-public

xv6 OS

yield-closures

An implementation of MCP-49

dockworker

Docker daemon API client in Rust

dot-keyword

go

The Go programming language

holm

header-only library manager

homebrew-core

🍻 Default formulae for the missing package manager for macOS

homebrew-strid

msgpack-schema

A specification language for MessagePack data schema

nyuichi.github.io

odds-calculator

Online odds calclator for heads-up Texas hold'em poker

odds-calculator-1

Online odds calclator for heads-up Texas hold'em poker

railcar

RailCar: Rust implementation of the Open Containers Initiative oci-runtime

rscode-rs

modernization of https://github.com/nyuichi/gauche-rscode

runtime-spec

OCI Runtime Specification

satyrographos-repo

Custom OPAM repository for SATySFi libraries managed by Satyrographos

SATySFi

A statically-typed, functional typesetting system

vscode-satysfi