a programming language with channels and coroutines/threads

Quickly rewrite git repository history (filter-branch replacement)

πfs - the data-free filesystem!

A simple zero-config tool to make locally trusted development certificates with any names you'd like.

Auto-Focusing and Auto-Resizing Splits/Windows for Neovim written in Lua. A full suite of window management enhancements. Vim splits on steroids!

You can find the speech algorithms you want here

A tool for writing better scripts

Smooth scrolling neovim plugin written in lua

Principled Functional Programming in Scala

What I Wish I Knew When Learning Haskell

A cross-platform protocol library to communicate with iOS devices

Android backup extractor

Indicators of Compromise from Amnesty International's cyber investigations

MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.

Functional teaching language for use in a discrete mathematics course

A fast and easy-to-use status bar

A lightweight compositor for X11 with animation support

Arabic - English word based dictionaries compilation

JavaScript Arabic Stemmer

simple terminal UI for git commands

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

My tools for CP

ClearURLs is an add-on based on the new WebExtensions technology and will automatically remove tracking elements from URLs to help protect your privacy.

Open source Firebase + Heroku to develop, scale and secure serverless apps on Kubernetes

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

The Racket repository

🎈 Simple reactive notebooks for Julia

A collaborative book on algorithms

DEPRECATED - Client for Privacy Pass protocol providing unlinkable cryptographic tokens

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com