Cosette is an automated SQL solver.

Modern molecular visualizer for macOS and iOS

A Swift macro that makes it easy to declare `Decimal` values precisely.

Embeddable Lambda Prolog Interpreter

Rust Linux-compatible kernel

A verification toolchain for Rust programs

A 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.

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, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

A cargo plugin to easily build Swift packages from Rust code