Pendulum Virtual Machine

Draw pictures using a pen, touchscreen, or mouse! JS-draw is a freehand drawing library for JavaScript and TypeScript.

Lean 4 programming language and theorem prover

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

SDK for creating whiteboards and canvas experiences on the web.

A Vim plugin to improve foldtext for better looks

Run your GitHub Actions locally 🚀

Tigramite is a python package for causal inference with a focus on time series data. The Tigramite documentation is at

A draggable / droppable React-based treeview component. You can use render props to create each node freely.

Beautiful and accessible drag and drop for lists with React

Manipulate and traverse tree-like structures in javascript.

Interactive roadmaps, guides and other educational content to help developers grow in their careers.