Amateur comedian & software clown. They/them.
You can find my work-focussed README here.
matthew-healy Goto Github PK
Name: matthew healy
Type: User
Company: @gigs
Bio: software clown
Location: Berlin
Blog: matthew.liamhealy.xyz
matthew healy's Projects
.system
a slowly evolving attempt to centralise my system configuration.
axiomatic.systems
blog
basicclue
An ultra basic implementation of Clue's homescreen
beautiful-code
reimplementations of code from the book "beautiful code", in rust, just because.
beautiful-racket
Working through https://beautifulracket.com
bevy-cheatbook
Unofficial Reference Book for the Bevy Game Engine
bevy-rpg-tutorial
brainfuck-in-rust
Vaguely following the "Learn Assembly by Writing Entirely Too Many Brainfuck Compilers" but I'm rebuilding everything from scratch as I go along.
crafting-interpreters-clox
My implementation of clox from the second half of the Crafting Interpreters book.
crafting-interpreters-rust
Working through the Crafting Interpreters book, but in Rust because I don't want to write Java.
cuteasserts
An extensible wrapper around XCTest assertions. Engineered for cuteness.
dotfiles
.files, including ~/.macos, forked from mathiasbynens
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.
event_router
A small Go lib to route (typed) events
extremeoop
Working through the Extreme OOP task in Swift
fliptheswitch
A feature flipping library for ObjectiveC.
game-of-life
A Swift implementation of Conway's Game of Life
gopack
Pack Go modules into zip files for distribution
grace
A ready-to-fork interpreted functional language with type inference
helix
A post-modern modal text editor.
liquidhaskell
Liquid Types For Haskell
liquidhaskell-blog
LiquidHaskell blog
liquidhaskell-tutorial
Tutorial for LiquidHaskell
matthew-healy
matthew-healy.github.io
GitHub pages
oauth.net
:lock: The oauth.net website. Feel free to send pull requests with updates.
papers
Code from pl papers I've read
pianoroll
iOS piano roll written in Swift
plfa
Notes and exercises from Programming Language Foundations in Agda
plfa.github.io
Introduction to programming language theory in Agda
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.