Skip to content
View LanHikari22's full-sized avatar
🕹️
🕹️
39 followers · 31 following
  • Milwaukee, WI. US

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report LanHikari22

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
LanHikari22/README.md

Hi!

I'm Mohammed. I also go by Lan in this digital space we share.

I'm a computer engineer. My current interests are in reverse engineering software, embedded system design, software verification, and mathematics.

I am currently learning about the proof assistant Cubical Agda, and formalizing mathematical analysis alongside it.

Sharing my process

I care about increasing visibility into the creative process of software development and scientific investigations.

Towards this goal, I have decided to make many of my notes for open source development public. These are journals I write as I research, develop, study, and investigate.

The main work for this can be found in the repository delta-trace, which contains notes on many topics and points to other similar note repositories. You can check main categories like posts and projects here.

The note repositories use obsidian. They can also largely be viewed in github via the webview branch.

Contact

Feel free to contact me at mailto:lanhikarixx@gmail.com!

I am open for work or collaboration if you are interested!

Fun Stats

Top Langs Top Langs
With Assembly and LLVM (Reconstruction projects) Without Assembly and LLVM
GitHub Streak GitHub Stats

LanHikari22's github activity graph

Pinned Loading

  1. dism-exe/bn6f dism-exe/bn6f Public

    Disassembly of MegaMan Battle Network 6 with Cybeast Falzar as baserom

    Assembly 39 11

  2. GBA-IDA-Pseudo-Terminal GBA-IDA-Pseudo-Terminal Public

    IDAPython tools to aid with analysis, disassembly and data extraction using IDA python commands, tailored for the GBA architecture at some parts

    Python 12 1

  3. GBA_Memory-Access-Scanner GBA_Memory-Access-Scanner Public

    This program automates the process of setting watchpoints to detect functions accessing a structure or block of memory. It is capable of detecting all reads/writes to a structure as well as all fun…

    Lua 12 1

  4. checkpipe checkpipe Public

    Brings functional programming data pipelines with robust validation to python and mypy

    Python 1

  5. dbmint dbmint Public

    Docker CLI Command to generate sqlite3 database files from .dbml schemas

    Rust 1

  6. lan-exp-scripts lan-exp-scripts Public

    Experimental scripts in various areas including automation or video editing

    Rocq Prover 1