A dynasm-like tool for rust.

Cybernetically enhanced web apps

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

WebIDL parser

Status, process, and documents for ECMA-262

GPU font rendering from vector outlines demonstration

Brand new TTS solution

HarfBuzz text shaping engine

Web tool for creation of MSDF bitmap font spritesheets and JSON

C++ math library for 2D/3D/4D vector, matrix, quaternion, and geometric algebra.

a multi-language bindings generator for rust

1 min voice data can also be used to train a good TTS model! (few shot voice cloning)

Tutorials and courses for Z3

TurnKey artifact for Z3

Performance comparisons between various virtual interpreter implementation strategies

Formalization of CBPV extended with effect and coeffect tracking

A Language with Dependent Data and Codata Types

Kotlin plotting library.

LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.

A modern retained-mode GUI library in Rust with extreme performance and control, geared towards audio software

Linux kernel source tree

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Refinement Types for Rust

🤖 Dependabot's core logic for creating update PRs.

A (WIP) equality saturation tactic for Lean based on egg.

JavaScript toolchain for working with WebAssembly Components

Get up and running with Llama 3.1, Mistral, Gemma 2, and other large language models.

Style-Bert-VITS2: Bert-VITS2 with more controllable voice styles.