Rust bindings for the Z3 solver.

Shuttle is a library for testing concurrent Rust code

🎨 user interfaces for react-three-fiber

🇨🇭 A React renderer for Three.js

A multiplayer boardgame engine in Three.JS + Rust

Lutris desktop client

jump to local IDE code directly from browser React component by just a simple click

A modern animation library for React and JavaScript

Build your design system with React, Svelte, Vue, and Solid. Powered by State Machines

APALACHE: symbolic model checker for TLA+ and Quint

A type-safe typescript SQL query builder

pgTyped - Typesafe SQL in TypeScript

Creusot helps you prove your code is correct in an automated fashion.

μWebSockets for Node.js back-ends 🤘

A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡

Beautifully designed components built with Ark UI and Panda CSS that work with a variety of JS frameworks.

A list of useful payloads and bypass for Web Application Security and Pentest/CTF

Static Type Checker for Python

Pattern matching syntax for ECMAScript

Chrome extension that automatically opens Zoom, Google Meet, Teams, and other meeting URLs associated with your Google Calendar shortly before the meeting starts.

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Jump from the HTML element to the source code of the generator

Manage third-party license compliance in your webpack build

Prettier is an opinionated code formatter.

The easiest way to find out if your JavaScript project meets its dependencies' licensing requirements.

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

The Z3 Theorem Prover

Firefox/Chrome Extension to provide bullet chatting (Danmaku) on YouTube Live, like niconico or bilibili.

An open-source cross-platform alternative to AirDrop