-
Exile Heavy Industries
- Don't Worry About It
- https://exile.digital
-
fiat-crypto Public
Forked from mit-plv/fiat-cryptoCryptographic Primitive Code Generation by Fiat
Coq Other UpdatedDec 9, 2021 -
nxes Public
EHI fork of the es(1) shell
-
shell Public
Some useful shell scripts/libraries
-
-
nombre Public
A local definition database based on experience writing the "Cisconomicon" at work
-
Forge Public
General learning and project repo. If any large projects are made, will set up new repo for them.
-
-
configs Public
An easy way to track configuration changes to my workstation
-
-
JShielder Public
Forked from Jsitech/JShielderHardening Script for Linux Servers/ Secure LAMP-LEMP Deployer/ CIS Benchmark
-
Warp-Core-NeoPixel Public
Forked from brazda/Warp-Core-NeoPixelESP8266 code for NeoPixel LED strip designed for my 3D Printed TNG Warp Core
C++ UpdatedJun 9, 2020 -
plug.sh Public
Simple shell plugin system, focusing on Bourne-like shells
Makefile BSD 3-Clause Clear License UpdatedDec 26, 2019 -
ssh19 Public
Team 7/11 From Cisco's Smart Spaces Hackathon 2019
BSD 3-Clause Clear License UpdatedSep 20, 2019 -
dfbeadm Public
Working on building a beadm for DragonFly BSD's HAMMER2 in C
-
-
-
nxu Public
Meta-project similar in theme to busybox/toybox, but with no intention of being a full replacement for GNU/BSD Coreutils.
C BSD 3-Clause Clear License UpdatedFeb 27, 2019 -
massrun Public
Utility intended for making expect scripts faster
Go BSD 3-Clause Clear License UpdatedFeb 20, 2019