jSound JSON schema subsumption checker using SMT verification conditions

A container registry backed by Workers and R2.

SOPS encrypt and decrypt without leaving the editor.

Protocol Buffers for the rest of us

The bookwyrm client library

Embeddable library or single binary for indexing and searching 1B vectors

A simple multi-profile Nix-flake deploy tool.

Prometheus Exporter for Mikrotik RouterOS devices

aider is AI pair programming in your terminal

Set up environment variables from pass

Dagster deltalake implementation for Polars and Pyarrow with read, write and MERGE support

A crate for mucking around with piles of bytes

Rust async runtime based on io-uring.

Programming in Tabled Prolog by David S Warren

SWI-Prolog stable releases

Prolog benchmarks (`van Roy' set)

SWI-Prolog Main development repository

Pure and reproducible nix overlay of binary distributed rust toolchains

Nix language server, based on nix libraries [maintainer=@inclyc,@takeokunn,@Aleksanaa]

TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.

Lexical data conversion from various datatypes

a tokio-enabled data store for triple data

Lexically sortable datatypes

Mirror of Ardour Source Code

A repo trying to gather all info regarding proper screensharing on Discord with Desktop Audio for linux users

TerminusDB client in Elixir. Work in progress!

Management Dashboard for Terminus DB