GeezerVison is showing github.com — Hardened GNU/Linux
Popular repositories
Loading
a series tutorial for linux exploit development to newbie.
C
581
172
Hardened Debian GNU/Linux distro auditing
Shell
472
66
Debian GNU/Linux based Services Profiles
Shell
250
64
Tear the firmware apart with your bare hands;-)
Python
198
37
Cheap PCB: Better understanding the current status of hardware supply chain
169
10
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Assembly
BitBake
C
C++
CMake
Dockerfile
Go
HTML
Jupyter Notebook
KiCad Layout
Lean
Makefile
Nix
Perl
Python
Quint
Roff
Scheme
Shell
TeX
Tree-sitter Query
Verilog
Zeek
Sort
Showing 10 of 102 repositories
hardenedlinux/artanis-khala's past year of commit activity
Scheme
0
GPL-3.0
0
0
0
Updated Nov 12, 2026
SonicBoom
Public
SonicBoom is a compiler-first PyTorch alternative for language, vision, audio, and training. It builds on proven kernels and pushes performance further through compiler optimization, with native HTTP serving powered by GNU Artanis.
hardenedlinux/SonicBoom's past year of commit activity
C++
33
GPL-3.0
2
1
0
Updated Nov 12, 2026
weaver
Public
ZeroTrust: Governed AI agent gateway with Scheme semantics, a Go control plane, and Rust execution
hardenedlinux/weaver's past year of commit activity
Quint
1
0
0
1
Updated Nov 12, 2026
deterministic-engineering
Public
Reusable engineering design Library with Scheme/POO composition, ASCENT reasoning, formal verification, and SysML architecture models
hardenedlinux/deterministic-engineering's past year of commit activity
Scheme
1
LGPL-2.1
0
0
1
Updated Nov 11, 2026
hardenedlinux/agentos's past year of commit activity
C++
0
0
0
0
Updated Nov 10, 2026
cedar-poo-spec
Public
Formal Cedar Spec integration and incremental proof reuse with Lean-POO, and maintained several vertical exmaples in seucirty field
hardenedlinux/cedar-poo-spec's past year of commit activity
Lean
2
Apache-2.0
2
0
0
Updated Nov 7, 2026
pagedrop
Public
Forked from
revng/pagebuster
pagedrop - dump all executable pages of packed processes for x86_64 and arm64
hardenedlinux/pagedrop's past year of commit activity
C
13
GPL-2.0
29
0
0
Updated Oct 18, 2026
velum
Public
A native reimplementation of the CosyVoice3 text-to-speech pipeline with zero Python at runtime.
hardenedlinux/velum's past year of commit activity
C++
10
GPL-3.0
1
0
0
Updated Oct 18, 2026
hardenedlinux/grsecurity-101-tutorials's past year of commit activity
hardenedlinux/SonicCross's past year of commit activity
Tree-sitter Query
4
GPL-3.0
0
0
0
Updated Oct 4, 2026
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.