Pinned Repositories
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
black-hat-rust
Applied offensive security with Rust - Early access - https://academy.kerkour.com/black-hat-rust?coupon=GITHUB
bootimage
Tool to create bootable disk images from a Rust OS kernel.
dissertation
Applying programming language theory to EasyCrypt: a language for formal verification of cryptography
LazyNews
Script to search for news topics using Google custom search (CSE)
lox-box
Two compilers for the Lox programming language. One is an interpreter written in Python and the other a bytecode virtual machine written in Rust
NVM-C
An 8-bit virtual machine
nasherm's Repositories
nasherm/lox-box
Two compilers for the Lox programming language. One is an interpreter written in Python and the other a bytecode virtual machine written in Rust
nasherm/LazyNews
Script to search for news topics using Google custom search (CSE)
nasherm/NVM-C
An 8-bit virtual machine
nasherm/black-hat-rust
Applied offensive security with Rust - Early access - https://academy.kerkour.com/black-hat-rust?coupon=GITHUB
nasherm/bootimage
Tool to create bootable disk images from a Rust OS kernel.
nasherm/bootloader
nasherm/bus-hs
A Haskell parser combinator library
nasherm/dissertation
Applying programming language theory to EasyCrypt: a language for formal verification of cryptography
nasherm/cpython
The Python programming language
nasherm/fas
A floating point arithmetic which works with types of any mantissa, exponent or base in modern header-only C++.
nasherm/gdb-frontend
☕ GDBFrontend is an easy, flexible and extensionable gui debugger.
nasherm/LLVM-embedded-toolchain-for-Arm
A project dedicated to building LLVM toolchain for 32-bit Arm embedded targets.
nasherm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
nasherm/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
nasherm/NVM
Virtual machine written in Rust
nasherm/picolibc
picolibc - a C library designed for embedded 32- and 64- bit systems.
nasherm/plt-study
A path to Programming Language Theory enlightenment
nasherm/riscv-asm-manual
RISC-V Assembly Programmer's Manual
nasherm/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.