📓 Lint commit messages

😢 The codebase for rejected.us

TODO

A fast linearizability checker written in Go 🔎

Reddit styled threaded comments using Supabase and Next.js

🏁 High performance subscription-based form state management for React

Tree Component for React

An accessibility resource for building manual and automated accessibility testing into a coding workflow.

A Chaos Engineering Platform for Kubernetes.

🕖 A curated list of awesome time series databases, benchmarks and papers

A port of Coq to Javascript -- Run Coq in your Browser

Collection of resources for research concerning Machine Learning and Formal Methods.

Agda is a dependently typed programming language / interactive theorem prover.

A gently curated list of companies using verification formal methods in industry

The last Markdown editor, ever.

Emoji keyword library.

🏪 One component to pick them all

Kent's Homepage

Extract & Inline Critical-path CSS in HTML pages

[OLD] documentation for webpack

A secure webpack plugin that supports dotenv and other environment variables and only exposes what you choose and use.

Curated tutorial and resource links I've collected on React, Redux, ES6, and more

Distributed Systems Labs and Framework

An authorization library that supports access control models like ACL, RBAC, ABAC in Node.js and Browser

Role and Attribute based Access Control for Node.js

Spark in Julia for MIT 6.824

mesh network paxos // 6.824 project

CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

Simple stream processing pipeline