matthew healy (@matthew-healy)
github

matthew-healy

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    23
  • Global Rank 587,022 (Top 21 %)
  • Followers 30
  • Following 11
  • Registered over 9 years ago
  • Most used languages
    Rust
         36.4 %
    Swift
         27.3 %
    Nix
         18.2 %
    Racket
         9.1 %
    Agda     9.1 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 23,764
  • Country Ranking
    Agda     11
    Racket
         42
    Nix
         199
    Swift
         742
    Rust
         1,375

Top repositories

1

PianoRoll

iOS piano roll written in Swift
Swift
7
star
2

plfa

Notes and exercises from Programming Language Foundations in Agda
Agda
3
star
3

untitled-programming-language-project

it's a programming language project. it's untitled.
Rust
2
star
4

.system

a slowly evolving attempt to centralise my system configuration.
Nix
2
star
5

ei-lang

Ei is currently just a lexer & part of a parser, but maybe one day it'll be an experimental programming language which aims to implement a simple form of dependent typing within a modern C-style language - who can say? It's also German for egg.
Rust
2
star
6

TableControlling

Generic UITableView management
Swift
1
star
7

crafting-interpreters-rust

Working through the Crafting Interpreters book, but in Rust because I don't want to write Java.
Rust
1
star
8

beautiful-racket

Working through https://beautifulracket.com
Racket
1
star
9

bevy-rpg-tutorial

Rust
1
star
10

readme.md

a personal readme file which may be useful to anyone working with me
Nix
1
star
11

UICollectionView-AutolayoutCellHeight

A simple UICollectionView which uses Autolayout to give its cells the correct height.
Swift
1
star