Pinned Repositories
.dotfiles
Collection of my dotfiles.
42-Subjects
An essential collection of 42 School curriculum project PDFs in English and French, thoughtfully organized for students navigating the coding universe during 'freeze' periods or self-study sessions. 📖✨
aconfmgr
A configuration manager for Arch Linux
Aeron.NET
Efficient reliable UDP unicast, UDP multicast, and IPC message transport - .NET port of Aeron
agent-framework
ai-snacks
a monorepo of microprojects generate with ai assistance
android-security-awesome
A collection of android security related resources
ansible-nas
Build a full-featured home server or NAS replacement with an Ubuntu box and this playbook.
VerifAI
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
hollisticgit's Repositories
hollisticgit/.dotfiles
Collection of my dotfiles.
hollisticgit/ansible-nas
Build a full-featured home server or NAS replacement with an Ubuntu box and this playbook.
hollisticgit/bedrock2_OS
A work-in-progress language and compiler for verified low-level programming
hollisticgit/bettercap
The Swiss Army knife for 802.11, BLE, IPv4 and IPv6 networks reconnaissance and MITM attacks.
hollisticgit/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.
hollisticgit/chatgpt-shell
ChatGPT and DALL-E Emacs shells + Org babel 🦄 + a shell maker for other providers
hollisticgit/coturn
coturn TURN server project
hollisticgit/dreamland
A local cloud for rapid development and testing.
hollisticgit/exo-nvim
Neovim Configuration
hollisticgit/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.
hollisticgit/glow
Render markdown on the CLI, with pizzazz! 💅🏻
hollisticgit/hardtime.nvim
A Neovim plugin helping you establish good command workflow and quit bad habit
hollisticgit/hashcat
World's fastest and most advanced password recovery utility
hollisticgit/L4Re-bootstrap
The bootloader of the L4Re operating system.
hollisticgit/L4Re-build
The build system for the L4Re operating system.
hollisticgit/l4re-core
The core components of the L4Re operating system.
hollisticgit/L4Re-drivers
Low level drivers for initial booting of the L4Re operating system.
hollisticgit/L4Re-io
IO handles access to platform devices and resources
hollisticgit/L4Re-microkernel
The development version of the L4Re Microkernel
hollisticgit/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
hollisticgit/mirage
MirageOS is a library operating system that constructs unikernels
hollisticgit/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
hollisticgit/npiperelay
npiperelay allows you to access Windows named pipes from WSL
hollisticgit/org-noter
Emacs document annotator, using Org-mode
hollisticgit/pi-hole
A black hole for Internet advertisements
hollisticgit/proofs_library
My personal repository of formally verified mathematics.
hollisticgit/searxng
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
hollisticgit/shiki
A beautiful yet powerful syntax highlighter
hollisticgit/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.
hollisticgit/tmux.nvim
tmux integration for nvim features pane movement and resizing from within nvim.