A Model Checker in Rust

Temporal Logic of Actions in Rust via Starlark

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

libSQL is a fork of SQLite that is both Open Source, and Open Contributions.

Cargo command to create the README.md from your crate's documentation

Hypothesis-like property testing for Rust

lens implemented in rust

The current, performant & industrial strength version of Holochain on Rust.

Integer interval arithmetic library

Generating structured data from arbitrary, unstructured input.

An online tool for sketching and sharing instrumental melodies.

A bash program to securely create a bootable USB device from one image file.

Provides macro `assert_matches` for testing pattern matching

Rust container / collection literal macros for HashMap, HashSet, BTreeMap, BTreeSet.

Empowering everyone to build reliable and efficient software.

A simple, humane, typed key-value storage solution.

INACTIVE - Safe Rust bindings for LMDB

Create a stdin/stdout pipe easily over wifi or internet.

A cross-platform GUI library for Rust, inspired by Elm

A minimal DNA that exposes core functionality for testing purposes

the holochain backend for Acorn

Convert JSON to TOML

Holochain Application Store

Continuous streaming player of Dragon Hoard archive. Nasty source code ATM, did this as a weekend hackathon project.

tap-producing test harness for node and browsers

Client side javascript module for converting a Holochain web UI to be Holo enabled

A JavaScript framework to bootstrap loading of a P2P Holochain app in a web browser via Holo hosting services.

JSON-RPC 2.0 implementation over WebSockets for Node.js and JavaScript/TypeScript