Yuichi Nishiwaki
nyuichi
Languages
Loading contributions...
Top Repositories
xv6 porting to GAIA architecture
complementary collection of useful functions and modules for SATySFi
GAIA Processor
super tiny implementation of higher-order logic proof assistant in lean
Header-only Non-moving & Precise GC for C
R7RS expander
Repositories
104A proof assistant based on the internal language of topos with NNO (intuitionistic higher-order arithmetic)
No description provided.
No description provided.
Research prototype tool for modular formal verification of C, Rust and Java programs
No description provided.
Debian Almquist shell
R7RS expander
complementary collection of useful functions and modules for SATySFi
Generic Hashtable Implementation in C
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
super tiny implementation of higher-order logic proof assistant in lean
GAIA Processor
xv6 porting to GAIA architecture
Uart module written in chisel
No description provided.
Header-only Non-moving & Precise GC for C
An implementation of MCP-49
A specification language for MessagePack data schema
partial continuation (a.k.a. delimited continuation) extension for mruby
xv6 OS
dynamic x86_64 code generator for c99
No description provided.
No description provided.
Run rust unit tests in docker container
modernization of https://github.com/nyuichi/gauche-rscode
rope data structure
OCI Runtime Specification
Docker daemon API client in Rust
No description provided.
Online odds calclator for heads-up Texas hold'em poker