Interactive viewer for Polygon.io minute-level stock data

ChatGPT and DALL-E Emacs shells + Org babel 🦄 + a shell maker for other providers

Emacs document annotator, using Org-mode

A Neovim plugin helping you establish good command workflow and quit bad habit

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

The core components of the L4Re operating system.

The development version of the L4Re Microkernel

Low level drivers for initial booting of the L4Re operating system.

The bootloader of the L4Re operating system.

Neovim Configuration

My personal repository of formally verified mathematics.

Collection of my dotfiles.

A beautiful yet powerful syntax highlighter

The build system for the L4Re operating system.

MirageOS is a library operating system that constructs unikernels

A work-in-progress language and compiler for verified low-level programming

tmux integration for nvim features pane movement and resizing from within nvim.

IO handles access to platform devices and resources

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, Web…

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.

A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more

npiperelay allows you to access Windows named pipes from WSL

coturn TURN server project

World's fastest and most advanced password recovery utility

The Swiss Army knife for 802.11, BLE, IPv4 and IPv6 networks reconnaissance and MITM attacks.

A black hole for Internet advertisements

Render markdown on the CLI, with pizzazz! 💅🏻

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.

SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.

A local cloud for rapid development and testing.