A verification toolchain for Rust programs

A drop-in, 5-20x faster, experimental Homebrew alternative

Swift DSL for parametric 3D modeling

A Python wrapper around Synology API

A blazing fast, type-safe library for working with JSON in Swift

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

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.

Tiny Erlang VM

Some Utilities to be used by Swift programs.

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

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.

Powerful scripting language & versatile interactive shell

🧟 Inject bugs and see if your tests catch them!

A Verified Compiler for Gallina, Written in Gallina