Denis Kasak

Mario is a plumber.

Fingerprint HTML pages for easy bucketing based on similarity.

Pymodoro is the Pomodoro for Xmobar or Dzen. It runs and it tells you where you are in your current pomodoro session.

Extract endpoints from stdin or files.

A simple renderer (ray tracer) in C++

tinypy is a minimalist implementation of python

Retro groove color scheme for Vim (with custom modifications to Haskell and PureScript to make them more colourful)

A personal repo for tracking notify-osd-customizable and custom changes.

ProbAbilistic CALculator - a package for computing with probability distributions

Custom modifications to anamnesis, clipboard history manager.

A Tampermonkey userscript for exporting ChatGPT transcripts as Markdown.

nvim tooling for resolving MSC (Matrix Spec Proposal) references.

Sierrachart feed bridge for bitcoincharts.com

A set of tools for implementing the Pomodoro technique (using pymodoro and t as helpers).

Community curated list of templates for the nuclei engine to find security vulnerabilities.

LBNF (Labelled Backus Naur Form) vim syntax file

Learn Python by executing code online and visualizing data structures

No description.

A command-line todo list manager for people that want to finish tasks, not organize them. (git mirror)

Reddit Enhancement Suite

Gambit

python version of z, for experimentation

abolish.vim: easily search for, substitute, and abbreviate multiple variants of a word

Toying with Python to make a Discworld MUD client.

A collection of some simple but useful utilities.

Rethinking Vim as a tool for writing

Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.

A set of Rust crates for interacting with the Matrix chat network.

Search for and notify about new Matrix-related papers

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Security advisory database for Rust crates published through crates.io

Quickstart configs for Nvim LSP

Proposed documentation for alloytools.org

A flexible forms validation and rendering library for Python.

:bar_chart: Websites, Resources, Devices, Wearables, Applications, and Platforms for Self Tracking

No description.

Strophe.js is an XMPP library for JavaScript

No description.

LSP diagnostics in virtual text at the top right of your screen

A Python Matrix client library, designed according to sans I/O (http://sans-io.readthedocs.io/) principles

Matrix media repository with multi-domain in mind.

Tamarin prover manual: source files

Matrix Client-Server SDK for JavaScript

No description.

Base16 for Xresources

The Matrix protocol specification

Source code spell checker

A place to share and define all the acronyms used in the matrix.org ecosystem

A curated list of things related to the Matrix ecosystem, including software, research, etc.

RFCs for changes to Rust

Documentation for everything mautrix

vim/nvim syntax highlighting support for the sequence diagram format, as implemented by Mermaid.

Synapse: Matrix reference homeserver

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

Srid's personal website (based on neuron)

A small, lightweight template engine

A terminal spreadsheet multitool for discovering and arranging data

markdown2: A fast and complete implementation of Markdown in Python

Convert Pandoc Markdown-style footnotes into sidenotes

No description.

Matrix Client-Server SDK for Rust

Semgrep rules registry

unimpaired.vim: Pairs of handy bracket mappings

urlwatch monitors webpages for you

Rust rewrite of the python weechat-matrix script.

Weechat API bindings for Rust

Serializable Rust types for the events in the Matrix specification.

Weechat Matrix protocol script written in python

afl++ is afl 2.52b with community patches, AFLfast power schedules, qemu 3.1 upgrade, MOpt mutators, InsTrim instrumentation, gcc_plugin and a lot more!

A purely functional package manager for Arch Linux and the AUR, written in Haskell.

E2EE aware proxy daemon for matrix clients.

matrix.org public website

E-mails, subdomains and names Harvester - OSINT

a python command-line tool which draws basic graphs in the terminal

Check syntax (linting) and fix files asynchronously, with Language Server Protocol (LSP) integration in Vim

Lightweight Ruby

Web application fuzzer

Extension of AFL to Target Rare Branches

This is a community project. We write and collect scripts for polybar!

Solve basic arithmetic word problems in Haskell

A fast and easy-to-use status bar

A dumb afl-fuzz triage tool.

Rofi: A window switcher, application launcher and dmenu replacement

Compose weechat messages in your $EDITOR

python bindings for the Olm C library

Informative git prompt for zsh

Compiler/source code fuzzing tool using AFL instrumentation

No description.

fun with sheeps, wolfs and counting

:dragon: Dark powered asynchronous unite all interfaces for Neovim/Vim8

Context Free is a program that generates images from written instructions called a grammar. The program follows the instructions in a few seconds to create images that can contain millions of shapes.

rofi frontend for pass

A tagger and lemmatiser for Croatian, Serbian and Slovene.

Diacritic restoration tool for Croatian, Serbian and Slovene

Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization

PaCAL - ProbAbilistic CALculator

Session management via names rather than paths and files

Test case minimizer for afl-fuzz

vim-snipmate default snippets (Previously snipmate-snippets)

Line-based testcase reducer

Vim python-mode. PyLint, Rope, Pydoc, breakpoints from box.

Produce code coverage results with gcov from afl-fuzz test cases

Bash implementation of color spectrum for IP subneting

Syntax checking hacks for vim

Active fork of kien/ctrlp.vim—Fuzzy file, buffer, mru, tag, etc finder.

fast and light Imlib2-based image viewer

A plugin for asynchronous :make using Neovim's job-control functionality

Double-entry accounting system with a command-line reporting interface

enhanced vte terminal widget

The Haskell Tool Stack

wxWidgets wrapper for Haskell

Vimperator

Contributed modules for xmonad

CalDAV client to sync to Remind

Grub with crypto extensions to support for DMCrypt and LUKS volumes with detached headers and key files.

A special interest group for companies and individuals interested in commercial usage of Haskell

Firefox addon - Rotates complete browser profiles ( from real browsers / devices ) at a user defined time interval. It includes many extra privacy enhancing options

Shift all your recurrent tasks's time attributes, not only due.

No description.

A windows live messenger network client written in python

A pluggable system for tasklib based TaskWarrior hooks. Faster, less boilerplate code!

Curses frontend for Canto daemon

Calculate stuff with MBTI (Myers-Briggs) types.

A mirror of manpageview

XDG environment for vim

No description.

retire your mouse.

for inputting mathematic symbols.

A simple VTE-based terminal.

A friendly IRC bot and apprentice coder, written in Haskell.

DuckDuckGo zero-click info API for your command-line

An unpacked copy of the haskellmode vimball. Ping me if it needs updating.

vim2hs :: Vim -> Haskell

Better automatic indenting and folding for Haskell in vim.

display Mt.Gox live market data (in the console) and experiment with trading bots

A simple console based rtorrent xmlrpc client.

Trader scripts, CLI and bot framework for mtgox, bitfloor, btce, bitstamp --- refinement is coming

Vim plugin: Text objects for functions

A haskell ctags implementation that is aware of qualified imports, among other cool stuff

Create ctags compatible tags files for Haskell programs

Wammu

A Vim color scheme.

No description.