hollisticgit's repositories
.dotfiles
Collection of my dotfiles.
ansible-nas
Build a full-featured home server or NAS replacement with an Ubuntu box and this playbook.
bedrock2_OS
A work-in-progress language and compiler for verified low-level programming
bettercap
The Swiss Army knife for 802.11, BLE, IPv4 and IPv6 networks reconnaissance and MITM attacks.
capstone
Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.
chatgpt-shell
ChatGPT and DALL-E Emacs shells + Org babel 🦄 + a shell maker for other providers
coturn
coturn TURN server project
dreamland
A local cloud for rapid development and testing.
exo-nvim
Neovim Configuration
ganeti
Ganeti is a virtual machine cluster management tool built on top of existing virtualization technologies such as Xen or KVM and other open source software.
glow
Render markdown on the CLI, with pizzazz! 💅🏻
hardtime.nvim
A Neovim plugin helping you establish good command workflow and quit bad habit
hashcat
World's fastest and most advanced password recovery utility
L4Re-bootstrap
The bootloader of the L4Re operating system.
L4Re-build
The build system for the L4Re operating system.
l4re-core
The core components of the L4Re operating system.
L4Re-drivers
Low level drivers for initial booting of the L4Re operating system.
L4Re-io
IO handles access to platform devices and resources
L4Re-microkernel
The development version of the L4Re Microkernel
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
mirage
MirageOS is a library operating system that constructs unikernels
molten-nvim
A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more
npiperelay
npiperelay allows you to access Windows named pipes from WSL
org-noter
Emacs document annotator, using Org-mode
pi-hole
A black hole for Internet advertisements
proofs_library
My personal repository of formally verified mathematics.
searxng
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
shiki
A beautiful yet powerful syntax highlighter
supermemory
Build your own second brain with supermemory. It's a ChatGPT for your bookmarks. Import tweets or save websites and content using the chrome extension.
tmux.nvim
tmux integration for nvim features pane movement and resizing from within nvim.