A spreadsheet where formulas also update backwards

SMIRKS patterns for testing portability and compliance

SMILES Depiction Generator

Open source implementation of Apple's Combine framework for processing values over time.

Python-based Informatics Kit for Analysing Chemical Units

An SVG rendering library.

Linear algebra foundation for the Rust programming language

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Build production-ready applications in TypeScript

A lazy subset of JavaScript

Probabilistic language based on pattern matching and constraint propagation, 153 examples

Molecules is an open source 3-D molecular visualizer for iOS.

A SwiftUI view that renders LaTeX.

Fil-C: completely compatible memory safety for C and C++

Tiny Erlang VM

Some Utilities to be used by Swift programs.

Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file, no deps

A cargo plugin to easily build Swift packages from Rust code

Bridges UIKit presentation APIs to a SwiftUI API so you can use presentation controllers, interactive transitions and more.

A library for building applications in a consistent and understandable way, with composition, testing, and ergonomics in mind.

Rust implementation of the Matter protocol. Status: Experimental

Powerful scripting language & versatile interactive shell

🧟 Inject bugs and see if your tests catch them!

A Verified Compiler for Gallina, Written in Gallina

A Rust crate for containing memory leaks and fragmentation

The Jakt Programming Language

Verified Rust for low-level systems code

A Rust verification tool

A verification toolchain for Rust programs

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦