Skip to content
View theoremoon's full-sized avatar

Sponsors

@papiron

Highlights

  • Pro

Organizations

@hatena

Block or report theoremoon

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

A retro game engine for Python

Rust 16,765 903 Updated Nov 4, 2025

BinNavi is a binary analysis IDE that allows to inspect, navigate, edit and annotate control flow graphs and call graphs of disassembled code.

Java 2,891 456 Updated Oct 23, 2020

Programming Languages Zoo

OCaml 1,561 106 Updated Jun 18, 2024

SQL language server written in Go.

Go 1,198 80 Updated Oct 30, 2025

Python implementations of cryptographic attacks and utilities.

Python 1,188 141 Updated Jan 19, 2025

Masking tape to help commands "do one thing well"

Rust 591 19 Updated Feb 15, 2024

Quick start repository for creating a Terraform provider using terraform-plugin-framework

Go 400 187 Updated Oct 31, 2025

Kuin Programming Language

C++ 267 20 Updated Dec 25, 2022

(Still exploring) My cryptography journey: A collection of notebooks covering different algorithms and concepts from cryptography

Jupyter Notebook 248 28 Updated Jul 6, 2023

Coppersmith's method for multivariate polynomials

Sage 187 11 Updated Oct 11, 2023

Writeups for the challenges from DownUnderCTF 2021

Python 180 37 Updated Sep 18, 2022

Python library for CTFer

Python 158 26 Updated Oct 3, 2025

CVP "trick" for CTF challenges

Sage 146 8 Updated Jun 19, 2023

Cryptography & CTF Writeups

Python 83 4 Updated Feb 20, 2023

A repository trying to collect things related to LLL

Sage 71 3 Updated Sep 10, 2024

Solving BDD and uSVP with predicate

Python 49 17 Updated Jul 31, 2024

Cyanurus is a Unix-like operating system for ARMv7-A

C 48 1 Updated Nov 28, 2016

Simple Wiki written in Go

Go 42 1 Updated Jul 19, 2019
Python 38 6 Updated Jul 8, 2023

compiler, llvm

Haskell 36 1 Updated Jun 25, 2018

my writeups (mainly pwnable)

Prolog 35 2 Updated Sep 22, 2024

Extract unity asset files

Python 15 1 Updated Jun 18, 2019

A Dark theme for VS Code

13 Updated Apr 1, 2021

Wouter Castryck, Thomas Decru. "An efficient key recovery attack on SIDH" の実装

Sage 11 1 Updated Aug 12, 2023

A class file easy to customize with SATySFi

11 3 Updated May 22, 2021
C# 10 2 Updated Jun 16, 2024

iTerm2 colorscheme inspired of gochiusa

Shell 8 Updated Mar 8, 2018

Mini Symbolic Execution Engine in Python for Educational Purposes.

Python 7 2 Updated Apr 10, 2018
Next