Claim @nyuichi

xv6. xv6 porting to GAIA architecture

46

satysfi-base. complementary collection of useful functions and modules for SATySFi

32

GAIA3. GAIA Processor

28

gc.h. Header-only Non-moving & Precise GC for C

22

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

22

r7expander. R7RS expander

17

dash. Debian Almquist shell

17

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

16

chisel-uart. Uart module written in chisel

13

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

9

mruby-partcont. partial continuation (a.k.a. delimited continuation) extension for mruby

8

rhhash.h. Generic Hashtable Implementation in C

7

lisp.jsx. traditional lisp on jsx

7

homebrew-satysfi. Ruby

6

chisel-brainfuck. Tiny Brainf**k CPU written in Chisel

5

xhash. super tiny hash table

5

umesh. Lightweight shell in 10 days

3

NLisp. Simple Scheme Interpreter

3

xrope. rope data structure

3

xjit. dynamic x86_64 code generator for c99

3

picrin-old. C++

3

holzero. OCaml

2

benz-gaia. C

2

Kaguya. prolog

2

Launcher. A Simple Game Launcher

2

sandbox-testing-rs. Run rust unit tests in docker container

1

aobench-on-r7rs-scheme. aobench on r7rs scheme

1

yield-closures. An implementation of MCP-49

1

httpserver.c. C

1

any.h. C++

1

printf. C

1

xv6-public. xv6 OS

1

bitvisor. C

1

tinyclos. Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/

1

fpu. FPU written in VHDL

1

PSynth. Synthesizer in python for our culture festival

1

Yuichi Nishiwaki