ghagl

ghagl's Stars

• chip-red-pill/MicrocodeDecryptor

  Language:Python1.5k115

• AnalogJ/justvanish

  Tell databrokers to F#@% Off. Your data is your data, they shouldn't be monetizing your personal information without your knowledge.

  Language:Go783

• neomantra/asio-pipe-transport

  boost::asio transport that creates two pipes over a UNIX socket

  Language:C++3

• hackclub/some-assembly-required

  📖 An approachable introduction to Assembly.

  Language:Assembly3.2k140

• maqp/tfc

  Tinfoil Chat - Onion-routed, endpoint secure messaging system

  Language:Python1.2k88

• yarrick/iodine

  Official git repo for iodine dns tunnel

  Language:C6.2k502

• dblalock/bolt

  10x faster matrix and vector operations

  Language:C++2.5k171

• blyssprivacy/sdk

  SDK for private data access, built on homomorphic encryption.

  Language:Rust33418

• MarginResearch/cannoli

  High-performance QEMU memory and instruction tracing

  Language:Rust52234

• tinygo-org/tinygo

  Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.

  Language:Go15.4k907

• linuxboot/heads

  A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops, workstations and servers.

  Language:Makefile1.4k186

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k262

• magmide/magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  Language:Coq81113

• techlore/plexus

  Remove the fear of Android app compatibility on de-Googled devices.

  Language:Elixir507154

• inda21plusplus/Project-Delta

  This is the repository for the group project assignment in the course "Project in Introduction to Computer Science" (DD1396), by the Inda21plusplus group.

  Language:Rust8

• jart/cosmopolitan

  build-once run-anywhere c library

  Language:C18.3k628

• faster-cpython/ideas

  1.7k49

• MoserMichael/pyasmtool

  Explores the python bytecode, provides some tools to access it for fun and profit.

  Language:Python32217

• mike1k/perses

  X86 Mutation Engine with Portable Executable compatibility.

  Language:C++44868

• ern0/howto-wasm-minimal

  How to create minimal wasm module with plain C/C++

  Language:C++51621

• ZeroIntensity/pointers.py

  Bringing the hell of pointers to Python.

  Language:Python91712

• cado-security/rip_raw

  Rip Raw is a small tool to analyse the memory of compromised Linux systems.

  Language:Python13116

• oconnor663/sha256_project

  The SHA-256 Project, developed for NYU Tandon's Applied Cryptography course

  Language:Python53225

• floooh/sokol

  minimal cross-platform standalone C headers

  Language:C7k494

• gotify/server

  A simple server for sending and receiving messages in real-time per WebSocket. (Includes a sleek web-ui)

  Language:Go11.3k632

• koute/bytehound

  A memory profiler for Linux.

  Language:C4.5k192

• Zaplib/zaplib

  ⚡ Zaplib is an open-source library for speeding up web applications using Rust and WebAssembly.

  Language:Rust1.3k37

• google/wuffs

  Wrangling Untrusted File Formats Safely

  Language:C4.2k131

• remote-android/redroid-doc

  redroid (Remote-Android) is a multi-arch, GPU enabled, Android in Cloud solution. Track issues / docs here

  Language:Shell4.3k306

• intoli/exodus

  Painless relocation of Linux binaries–and all of their dependencies–without containers.

  Language:Python2.9k71