Giters
Josh Huelsman (machinamentum)

machinamentum

Geek Repo

111

followers

8

following

5

stars

Home Page:machinamentum.github.io

Twitter:@machinamentum

Github PK Tool:Github PK Tool

Josh Huelsman's starred repositories

tapl

Reading along with Types And Programming Languages

Language:AgdaLicense:CC0-1.0Stargazers:3Issues:0Issues:0

mold

Mold: A Modern Linker šŸ¦ 

Language:C++License:MITStargazers:13782Issues:0Issues:0

sif

A compiler for a custom language written in C++.

Language:C++Stargazers:41Issues:0Issues:0

MCPELauncher

Source code for BlockLauncher, a launcher that patches Minecraft for Android

Language:JavaLicense:Apache-2.0Stargazers:671Issues:0Issues:0

SGX5Dec

Useless

Language:PythonLicense:BSD-2-ClauseStargazers:2Issues:0Issues:0