Yuichi Nishiwaki

icon indicating a website link http://hagi.is.s.u-tokyo.ac.jp/~yuichi icon indicating an email [email protected]

icon company University of Tokyo & Idein Inc. icon location Tokyo, Japan

Results 7 repositories owned by Yuichi Nishiwaki

GAIA3

26
Stars
4
Forks
Watchers

GAIA Processor

verified publisher icon nyuichi

gc.h

22
Stars
1
Forks
Watchers

Header-only Non-moving & Precise GC for C

verified publisher icon nyuichi

LeanHOL

21
Stars
0
Forks
Watchers

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

verified publisher icon nyuichi

satysfi-base

31
Stars
11
Forks
Watchers

complementary collection of useful functions and modules for SATySFi

verified publisher icon nyuichi

xv6

46
Stars
11
Forks
Watchers

xv6 porting to GAIA architecture

verified publisher icon nyuichi

r7expander

15
Stars
0
Forks
Watchers

R7RS expander

verified publisher icon nyuichi

yabai-sat

15
Stars
2
Forks
Watchers

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

verified publisher icon nyuichi