Koka language compiler and interpreter

Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

An advanced keyboard manager

ApprovalTests for python

The property-based testing library for Python

Inofficial Qualcomm Firehose / Sahara / Streaming / Diag Tools :)

C++ programmer's guide to undefined behavior

🔥 🔥 🔥 A Free & Self-hostable Airtable Alternative

The open source Zapier alternative. Build workflow automation without spending time and money.

Event Driven Orchestration & Scheduling Platform for Mission Critical Applications

An extremely fast Python type checker and language server, written in Rust.

🐸 Rybbit - open-source and privacy-friendly alternative to Google Analytics that is 10x more intuitive.

A node.js library for testing modern web applications

Light weight cross-platform test automation

💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

Linux virtual machines, with a focus on running containers

A small JavaScript library for defining and using union types.

Implementation of Redis API in python without having a server running. Fully compatible with using redis-py.

Learn Robotics with JdeRobot

Fake implementation of redis API (redis-py) for testing purposes

Neovim plugin to assist work with CSV files

Code and materials for my book "Functional Design and Architecture"

A functional frontend framework.

Manage your dotfiles across multiple diverse machines, securely.

🕵️ Haskell STatic ANalyser

Simple panel applet for mate with text output about disk space usage

Huge list of videos, talks, courses for Haskell programming language.

What I Wish I Knew When Learning Haskell

PLANKA is the Kanban-style project mastering tool for everyone