Rob Rix

icon indicating a website link http://antitypical.com icon indicating an email [email protected]

icon location Colouring outside the lines.

Results 28 repositories owned by Rob Rix
trafficstars

Haxcessibility

33
Stars
5
Forks
Watchers

Hackery via the AX (Accessibility) APIs

verified publisher icon robrix

Lagrangian

42
Stars
0
Forks
Watchers

On the dark side of the sun.

verified publisher icon robrix

languages-all-the-way-down

20
Stars
0
Forks
Watchers

outline & examples for my ZuriHac 2020 talk, Languages All the Way Down

verified publisher icon robrix

List

25
Stars
1
Forks
Watchers

Singly-linked lists in Swift.

verified publisher icon robrix

Madness

292
Stars
17
Forks
Watchers

Recursive Descent Into Madness

verified publisher icon robrix

Manifold

18
Stars
0
Forks
Watchers

Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.

verified publisher icon robrix

Many-Types-Make-Light-Work

35
Stars
1
Forks
Watchers

Don’t subclass.

verified publisher icon robrix

Memo

45
Stars
3
Forks
Watchers

Swift µframework of Memo, a lazily memoized value.

verified publisher icon robrix

Obstruct

47
Stars
2
Forks
Watchers

Block introspection and interaction

verified publisher icon robrix

path

83
Stars
2
Forks
Watchers

A lambda calculus to explore type-directed program synthesis.

verified publisher icon robrix