4ad

Mathematical engineer bringing type safety to the cloud.

@cue-lang Vienna, Austria

Pinned Repositories

7e
New style Plan9 arm64 emulator (incomplete).
Language:C2 1 00
7i
Old style Plan 9 arm64 emulator (semi-functional).
Language:C3 1 00
arm64-dec-gen
Generates arm64 instruction decoding for 7i, the Plan 9 arm64 emulator.
Language:Go2 1 00
cue-rs
Language:Rust5 2 00
dotfiles
My collection of dotfiles
Language:Shell14 1 00
go
Go development tree for the sparc64 port
Language:Go19 14 3611
go.arm64
Go development tree for the arm64 port (historical).
Language:Go17 10 953
mgk.ro
Nothing to see here, move along
Language:Go3 1 03
plan9port
Plan 9 from User Space
Language:C1.6k 117 335320
go
The Go programming language
Language:Go123k 3.4k 63.6k17.6k

4ad's Repositories

4ad/go
Go development tree for the sparc64 port
Language:Go19 14 3611
4ad/go.arm64
Go development tree for the arm64 port (historical).
Language:Go17 10 953
4ad/dotfiles
My collection of dotfiles
Language:Shell14 1 00
4ad/cue-rs
Language:Rust5 2 00
4ad/7i
Old style Plan 9 arm64 emulator (semi-functional).
Language:C3 1 00
4ad/mgk.ro
Nothing to see here, move along
Language:Go3 1 03
4ad/7e
New style Plan9 arm64 emulator (incomplete).
Language:C2 1 00
4ad/arm64-dec-gen
Generates arm64 instruction decoding for 7i, the Plan 9 arm64 emulator.
Language:Go2 1 00
4ad/golang-org-x-tools.arm64
golang.org/x/tools fork with support for arm64 (historical).
Language:Go1 1 00
4ad/housefinder
Finds houses in Vienna.
Language:HTML1 1 0
4ad/ktap-arm64
Ktap fork with arm64 support (historical)
Language:C1 1 01
4ad/gofosdem2014
Language:Makefile1 0
4ad/mpv-colorfix
Video player based on MPlayer/mplayer2
Language:C1 0