Pinned Repositories
ucc
Udon C Compiler: C compiler for our original CPU
noah
Bash on Ubuntu on macOS
GAIA3
GAIA Processor
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
satysfi-base
complementary collection of useful functions and modules for SATySFi
xv6
xv6 porting to GAIA architecture
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
nyuichi's Repositories
nyuichi/satysfi-base
complementary collection of useful functions and modules for SATySFi
nyuichi/gc.h
Header-only Non-moving & Precise GC for C
nyuichi/LeanHOL
super tiny implementation of higher-order logic proof assistant in lean
nyuichi/r7expander
R7RS expander
nyuichi/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
nyuichi/homebrew-satysfi
nyuichi/rhhash.h
Generic Hashtable Implementation in C
nyuichi/shari
Shari the :sushi: prover
nyuichi/any.h
nyuichi/bitvisor
nyuichi/holzero
nyuichi/sandbox-testing-rs
Run rust unit tests in docker container
nyuichi/xv6-public
xv6 OS
nyuichi/yield-closures
An implementation of MCP-49
nyuichi/dockworker
Docker daemon API client in Rust
nyuichi/dot-keyword
nyuichi/go
The Go programming language
nyuichi/holm
header-only library manager
nyuichi/homebrew-core
🍻 Default formulae for the missing package manager for macOS
nyuichi/homebrew-strid
nyuichi/msgpack-schema
A specification language for MessagePack data schema
nyuichi/nyuichi.github.io
nyuichi/odds-calculator
Online odds calclator for heads-up Texas hold'em poker
nyuichi/odds-calculator-1
Online odds calclator for heads-up Texas hold'em poker
nyuichi/railcar
RailCar: Rust implementation of the Open Containers Initiative oci-runtime
nyuichi/rscode-rs
modernization of https://github.com/nyuichi/gauche-rscode
nyuichi/runtime-spec
OCI Runtime Specification
nyuichi/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
nyuichi/SATySFi
A statically-typed, functional typesetting system
nyuichi/vscode-satysfi