Starred repositories
A cross-platform, fast and extensible general purpose fuzzy finder 📺
A highly customizable macOS status bar replacement
AeroSpace is an i3-like tiling window manager for macOS
A small extensible programming language designed for concise expression with little code.
Hazel, a live functional programming environment with typed holes
Lightning-fast and Powerful Code Editor written in Rust
A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints
Keep events and manage your calendar alongside all your other notes in your Obsidian Vault.
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Curated list of resources on testing distributed systems
Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.
Self-Driving Database Management System from Carnegie Mellon University
Manage Kubernetes clusters with Emacs.
Day 9 of Advent of Haskell - Denotational Design
📋 Validation resolvers: Yup, Zod, Superstruct, Joi, Vest, Class Validator, io-ts, Nope, computed-types, typanion, Ajv, TypeBox, ArkType, Valibot, effect-ts, VineJS and Standard Schema
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
TypeScript-first schema validation with static type inference