☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Mappings for PostgreSQL types

A task runner that works well with poetry or uv.

A template for incremental Haskell builds using Nix

An open-source tribute to the macOS Drift screensaver

Test interactive Haskell examples

Debug your GitHub Actions via SSH by using tmate to get access to the runner system itself.

Instant Terminal Sharing

🍁 Generate infrastructure and network diagrams directly from your NixOS configurations

Typst template for thesis at Innopolis University

Simple and flexible tool for managing secrets

A tool for writing better scripts

Handle pattern with servant to build flexible web-apps in Haskell

Готовим рамен

Timeful (formerly Schej) is a scheduling platform helps you find the best time for a group to meet. It is a free availability poll that is easy to use and integrates with your calendar.

A collaborative note taking, wiki and documentation platform that scales. Built with Django and React.

Linux multi-touch gesture recognizer

Use Microsoft Edge's online text-to-speech service from Python WITHOUT needing Microsoft Edge or Windows or an API key

Mathlib search tool

💫 Industrial-strength Natural Language Processing (NLP) in Python

Coq formalizations of functional languages.

The missing star history graph of GitHub repos - https://star-history.com

Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50)

A statically typed embedding of miniKanren in Haskell

Haskell implemented with combinators

A Language Server for Postgres