Pinned Repositories
AoPL
A book on programming languages, using Haskell
coq-haskell
A library for formalizing Haskell types and functions in Coq
dotfiles
:wrench: .files, including ~/.macos — sensible hacker defaults for macOS
ReWire
Experimental compiler for a subset of Haskell to VHDL
sn-stlc-de-bruijn-coq
Strong Normalization for Simply-Typed Lambda-Calculus with de Bruijn indices in Coq
sqlectron-gui
UNMAINTAINED - SEE BELOW. A simple and lightweight SQL client desktop with cross database and platform support.
tapl
Typechecker Implementations of Types and Programming Languages
tnrn9b's Repositories
tnrn9b/sqlectron-gui
UNMAINTAINED - SEE BELOW. A simple and lightweight SQL client desktop with cross database and platform support.
tnrn9b/dotfiles
:wrench: .files, including ~/.macos — sensible hacker defaults for macOS
tnrn9b/Coding-Ghidra
Java Library wrapper for Ghidra Headless Analysis + Java Samples
tnrn9b/ghidra
Ghidra is a software reverse engineering (SRE) framework
tnrn9b/ghidra-headless-decompile
bash script and modified java program to headlessly use ghidra's decompiler
tnrn9b/ghidra_installer
Helper scripts to set up OpenJDK 11 and scale Ghidra for 4K on Ubuntu 18.04 / 18.10
tnrn9b/ghidra_scripts
ghidra scripts
tnrn9b/ghidra_scripts-1
My scripts for Ghidra.
tnrn9b/ghidra_scripts-2
Ghidra scripts for malware analysis
tnrn9b/GhidraPAL
Ghidra Program Analysis Library
tnrn9b/GhidraSnippets
Python snippets for Ghidra's Program and Decompiler APIs
tnrn9b/jstdg7
Example code from the book JavaScript: The Definitive Guide, 7th Edition
tnrn9b/kaitai_struct_javascript_runtime
Kaitai Struct: runtime for JavaScript
tnrn9b/latex-thesis-mizzou-2017
tnrn9b/learn
random files I've been collecting & programming
tnrn9b/learn-php
:elephant: Learn modern PHP
tnrn9b/MalwareSourceCode
Collection of malware source code for a variety of platforms in an array of different programming languages.
tnrn9b/metismenu
A collapsible jQuery menu plugin
tnrn9b/Miscellaneous
Some samples and tools
tnrn9b/pics
Posters, drawings...
tnrn9b/plt
Programming Language Theory
tnrn9b/PortEx
Java library to analyse Portable Executable files with a special focus on malware analysis and PE malformation robustness
tnrn9b/react-hipstaplate
A ReactJS full-stack boilerplate based on typescript with ssr, custom apollo-server and huge stack of modern utilities which will help you to start your own project
tnrn9b/retrie
Retrie is a powerful, easy-to-use codemodding tool for Haskell.
tnrn9b/reutils
A collection of scripts to aid in reverse engineering and exploit development.
tnrn9b/ROPgadget
This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC and MIPS architectures.
tnrn9b/SanSessionToolbar
:zap: Session Toolbar that can be applied into Zend/Laminas DeveloperTools
tnrn9b/siglib
tnrn9b/tutorials
Just Announced - "Learn Spring Security OAuth":
tnrn9b/Windows-Internals
My repository to upload drivers from different books and all the information related to windows internals.