Pinned Repositories
android-font-library
A library for getting a list of fonts on an Android device
ctf-writeups
My writeups from CTFs
formal-crypto
Some proofs about cryptography
OmniwrenchMod
Source code for the Omniwrench 9000 Minecraft mod. Idea by Combine_Kegan.
plotany
An implicit equation plotter
soi
A compiler for a less simple toy language
soiie
A compiler for a really simple toy language
radeco
radare2-based decompiler and symbol executor
orhle
An automatic verifier for RHLE properties.
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
HMPerson1's Repositories
HMPerson1/ctf-writeups
My writeups from CTFs
HMPerson1/formal-crypto
Some proofs about cryptography
HMPerson1/soiie
A compiler for a really simple toy language
HMPerson1/plotany
An implicit equation plotter
HMPerson1/soi
A compiler for a less simple toy language
HMPerson1/AutoSign
An Android application that shows signs
HMPerson1/cargo_metadata
HMPerson1/content
The content behind MDN Web Docs
HMPerson1/de-arduino-miniproject
A tennis game
HMPerson1/de-final-project
HMPerson1/fixedbitset
A simple bitset container for Rust
HMPerson1/grade-thing
Computes a representation of your grade using cities in North America
HMPerson1/hmperson1.github.io
HMPerson1/hs-coq-opt
Optimising Haskell in Coq
HMPerson1/meeting-master
Meetings made manageable.
HMPerson1/NetLogo
turtles, patches, and links for kids, teachers, and scientists
HMPerson1/orbit-sim
A simple Keplerian orbit simulator thingy. Totally not a KSP ripoff. Totally.
HMPerson1/r2pipe.rs
Rust crate for r2pipe
HMPerson1/radare2
unix-like reverse engineering framework and commandline tools security
HMPerson1/radare2-r2pipe
Access radare2 via pipe from any programming language!
HMPerson1/radare2-r2pipe-api
r2pipe-api repo
HMPerson1/radeco-csmith-tester
Test `radeco-lib` with a randomly generated program from Csmith.
HMPerson1/radeco-lib
radare2-based decompiler
HMPerson1/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
HMPerson1/rustc-macros-span-bug
HMPerson1/stats-project-test
A program to calculate statistics for a dice game
HMPerson1/test_emulators
Test start-up of android emulators on Travis CI
HMPerson1/trunic-ocr
a web app for reading images of trunic text, the language from TUNIC (2022)
HMPerson1/trunic-ocr-demo
HMPerson1/vigilant-lamp