AI driven development in your terminal. Designed for large, real-world tasks.

Simple global shortcuts in macOS

Computer Algebra System (CAS) for Obsidian.md

An obsidian plugin which turns a math code block into a full featured calculator

A command line tool that draw plots on the terminal.

Backstage is an open framework for building developer portals

Fast and multi-platform Spotify client with native GUI

Blocks the build pipeline for a week.

A Ruby gem for generating image URLs with imgix

Compile type annotated Python to fast C extensions

This guide details creating a secure Linux production system. OpenSCAP (C2S/CIS, STIG).

A list of public penetration test reports published by several consulting firms and academic security groups.

Python software for USB Wireless WeatherStations

An IPFS implementation in Go

Peer-to-peer hypermedia protocol

A superoptimizer for LLVM IR

adds flavor of interactive filtering to the traditional pipe concept of UNIX shell

Greenlet-based event I/O Framework for Python

fork for rtpproxy soft with some local changes

An unit testing framework for the ooc programming language

Allegro.pl notifications

PVR & episode guide that downloads and manages all your TV shows

Free and Open Source, Distributed, RESTful Search Engine

terminal emulator based on VTE library with Lua scripting

MSc Thesis: Evidentialist Logic

C Driver for MongoDB

🌊 self-hosted ooc compiler that generates c99

my thesis

My now-completed PhD thesis