Giters
Tux3 (tux3)

tux3

Geek Repo

181

followers

5

following

663

stars

Home Page:https://github.com/tux3

Github PK Tool:Github PK Tool

Organizations
EpicGames
macgitver
qTox
TokTok
Tox-Clients

Tux3's starred repositories

pingora

A library for building fast, reliable and evolvable network services.

Language:RustLicense:Apache-2.0Stargazers:21404Issues:172Issues:209

NotepadNext

A cross-platform, reimplementation of Notepad++

Language:C++License:GPL-3.0Stargazers:9042Issues:97Issues:432

xzbot

notes, honeypot, and exploit demo for the xz backdoor (CVE-2024-3094)

Language:GoStargazers:3490Issues:39Issues:0

tiny_tracer

A Pin Tool for tracing API calls etc

Language:C++Stargazers:1278Issues:40Issues:39

open-gpu-kernel-modules

NVIDIA Linux open GPU with P2P support

Language:CLicense:NOASSERTIONStargazers:870Issues:15Issues:11

LegitEngine

A rendergraph-based graphical framework for Vulkan

Language:C++License:MITStargazers:655Issues:19Issues:6

openSIL

Language:CStargazers:369Issues:29Issues:9

fuc

Modern, performance focused unix commands

Language:RustLicense:Apache-2.0Stargazers:345Issues:10Issues:30

malloc_geiger

Language:C++License:MITStargazers:329Issues:8Issues:2

abi-cafe

Pair your compilers up at The ABI Cafe!

Language:RustStargazers:218Issues:10Issues:45

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Language:LeanLicense:Apache-2.0Stargazers:201Issues:11Issues:10

yafc

Powerful Factorio calculator/analyser that works with mods

Language:C#License:GPL-3.0Stargazers:167Issues:9Issues:193

Coq-BB5

Language:CoqLicense:MITStargazers:153Issues:6Issues:3

HexPatch

HexPatch: a binary patcher and editor written in Rust with terminal user interface (TUI).

Language:RustLicense:MITStargazers:153Issues:2Issues:4

binary-risk-intelligence

Binary Risk Intelligence

Language:PythonStargazers:146Issues:7Issues:1

NNG4

Natural Number Game

Language:LeanLicense:Apache-2.0Stargazers:104Issues:10Issues:46

xzre

XZ backdoor reverse engineering

Language:CLicense:GPL-3.0Stargazers:90Issues:9Issues:1

debspawn

Debian package builder and build helper using systemd-nspawn

Language:PythonLicense:LGPL-3.0Stargazers:73Issues:4Issues:30

ComplexGaussian

Language:PythonStargazers:63Issues:2Issues:1

xz-backdoor-documentation

Documentation about the xz backdoor created by #xz-backdoor-reversing

Language:CStargazers:59Issues:6Issues:2

yafc-ce

Powerful Factorio calculator/analyser that works with mods

Language:C#License:GPL-3.0Stargazers:53Issues:6Issues:144

nle

The NetHack Learning Environment

Language:CLicense:NOASSERTIONStargazers:42Issues:2Issues:12

xz-backdoor-analysis

Language:CStargazers:23Issues:3Issues:1

xz-min

Minimal setup to trigger the xz backdoor

Language:CStargazers:21Issues:5Issues:1

generation_loss

A demo of generation loss in Rust's image crate.

Language:RustStargazers:8Issues:0Issues:0

time

Port of the haskell time library to Lean 4

Language:LeanLicense:MITStargazers:5Issues:1Issues:0

polynomial_hashing_framework

Language:C++License:MITStargazers:3Issues:0Issues:0

fimfic2pdf

Render FiMFiction and AO3 stories as PDF

Language:RubyLicense:GPL-3.0Stargazers:2Issues:2Issues:10

minitel-react

Language:TypeScriptStargazers:2Issues:1Issues:0

liblzma_backdoor_dyn_analysis

A simple C program with stubs, allowing one to dynamically debug the backdoor included in liblzma

Language:CStargazers:1Issues:1Issues:0