The math library of Lean 4

🏡 Open source home automation that puts local control and privacy first.

Server to host lean games.

The Website and web infrastructure for learning TypeScript

Kubernetes controller to enable automatic kubelet CSR validation after a series of (configurable) security checks

Empowering everyone to build reliable and efficient software.

Make/Encode some basic logic puzzles

Zero dependency Docking Layout Manager. Supports Vanilla TypeScript, React and Vue.

A C++ library for interacting with JSON.

Godot Engine – Multi-platform 2D and 3D game engine

Construct: Declarative data structures for python that allow symmetric parsing and building

Visual Studio Code

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

An extremely fast Python linter and code formatter, written in Rust.

A community-maintained Python framework for creating mathematical animations.

A Python library that generates static type annotations by collecting runtime types

monorepo containing the various nuts and bolts that facilitate istanbul.js test instrumentation

A library that helps tokenize text using Text Mate grammars.

"Extras" bucket for Scoop

A computer algebra system written in pure Python

More than 100 powerful ESLint rules

📦🔐 A lightweight Node.js private proxy registry

A Rust compiler front-end for IDEs

Emscripten: An LLVM-to-WebAssembly Compiler

This is a keystroke launcher for Windows and macOS.

Fomantic-UI is a community fork of Semantic-UI