hmperson1 Goto Github PK

adorable-octo-computing-machine

A platformer about an adorable octo computing machine.

android-font-library

A library for getting a list of fonts on an Android device

autosign

An Android application that shows signs

cargo_metadata

content

The content behind MDN Web Docs

ctf-writeups

My writeups from CTFs

de-arduino-miniproject

A tennis game

de-final-project

fixedbitset

A simple bitset container for Rust

formal-crypto

Some proofs about cryptography

grade-thing

Computes a representation of your grade using cities in North America

hmperson1.github.io

hs-coq-opt

Optimising Haskell in Coq

hyperblobs

An Android game

meeting-master

Meetings made manageable.

netlogo

turtles, patches, and links for kids, teachers, and scientists

omniwrenchmod

Source code for the Omniwrench 9000 Minecraft mod. Idea by Combine_Kegan.

orbit-sim

A simple Keplerian orbit simulator thingy. Totally not a KSP ripoff. Totally.

plotany

An implicit equation plotter

r2pipe.rs

Rust crate for r2pipe

radare2

unix-like reverse engineering framework and commandline tools security

radare2-r2pipe

Access radare2 via pipe from any programming language!

radare2-r2pipe-api

r2pipe-api repo

radeco-csmith-tester

Test `radeco-lib` with a randomly generated program from Csmith.

radeco-lib

radare2-based decompiler

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

rustc-macros-span-bug

shootinggamething

A game in which you shoot things.

soi

A compiler for a less simple toy language

soiie

A compiler for a really simple toy language