A framework for building user interfaces declaratively, with XML markup and flexible theming

Provides a language server for grammars based on Lark

An extremely fast Python type checker and language server, written in Rust.

A Zig coroutine library

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

REST API for any Postgres database

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

ZetaSQL - Analyzer Framework for SQL

Research language for array processing in the Haskell/ML family

eudoxus: UCLID5 text-to-code tool

Realtime Postgres data in React.

A massively parallel, high-level programming language

Moved to Codeberg

Web app for collecting image captions.

Decompilation of 3D Pinball for Windows – Space Cadet

The uncompromising Python code formatter

Attempts at a Python monorepo

A natural language interface for computers

The financial transactions database designed for mission critical safety and performance.

An implementation of the Debug Adapter Protocol for Python

[CVPR 2023] DiffusioNeRF: Regularizing Neural Radiance Fields with Denoising Diffusion Models

Official Git mirror of the SQLite source tree

Nomic Developer API SDK

A workbench for writing toy implementations of distributed systems.

bloop is a fast code search engine written in Rust.

Zero-metadata file storage