An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Library for building stateful property tests using the proptest crate

Strix is a tool for reactive synthesis of controllers from LTL specifications.

Automated property based testing for Rust (with shrinking).

Framework to interpret and transpile JVM bytecode to JavaScript, OpenCL or WebAssembly.

A native gRPC client & server implementation with async/await support.

Algebraic graphs

Declarative UI for Java

A portable idris2 implementation of TLS

Explicit types for Kotlin Multiplatform.

Hot code reloading for Gleam

Functional lens library for Rust

Type-safe Queries

Typesafe wrapper for Apache Spark DataFrame API

Quick and easy library for working with GraphQL queries.

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety an…

A demo of how to work with WebAssembly components in wasmtime

Running julia on wasm

A fast and secure runtime for WebAssembly

Server-side and full stack development with Kotlin and WebAssembly leveraging WASI and Component Model

Portable validations for Kotlin

A language binding generator for WebAssembly interface types

A modern computer algebra library for Python and Rust.

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

Built with Holochain, Acorn is an open-source, peer-to-peer project management application. It is designed and built as a scrum-alternative, Agile Development Pattern for distributed software devel…

repo for snapmail electron based releases

Hermit for Rust.

A Rust library for connecting to and configuring Meshtastic radios.