Links
Softwares
- tinyos
An UNIX-like toy operating system runs on x86 CPU with TCP/IP
- raspvisor
A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)
- wamcompiler
Prolog implementation based on Warren's abstract machine written in Common Lisp
- soramame
Programming language "soramame"
- rvcpu
RISC-V (RV32I) CPU written in Verilog
- gb_emu
Gameboy Emulator written in C
- petit-prolog
Prolog interpreter written in C
- bf_jit
Brainf*ck JIT compiler (x86_64)
- c2ws
C (subset) to Whitespace transpiler written in OCaml
- mouse3
Maze searching program for Micromouse
- cnijfilter-4.00-1-apo
Auto power on patch for Canon PIXUS IJ Printer Driver Ver. 4.00 for Linux
OSS Contributions
-
SATySFi
- Add a bytecode compiler (#77)
- Add an exhaustiveness checker for pattern matching (#90)
- Add support for PDF hyperlink (#113)
- Add support for PDF outline (#134)
- Add support for subset embedding of OpenType CFF fonts (#6)
Websites
Articles