Rust programs written entirely in Rust

A modern, expressive testing package for Swift

Categorical Logic Notes

Advanced mathematical types and functions for Swift

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. This fork is used to manage Swift’s stable releases of Clang as well as support the Swift project.

Swift compiler driver reimplementation in Swift

The Arend Proof Assistant

Algebraic simplification in Julia

QuickCheck for Swift

A less devious proof assistant

Normalization by Evaluation for Martin-Löf Type Theory

papers of Per Martin Löf

Flipper is a development platform that can be controlled from any programming language.

A Swift library for printing a breadcrumb trace on a fatal signal.

The Higher-Order Intermediate Representation

An in-progress fast, dependently typed, functional programming language implemented in Swift.

A standalone Swift version of LLVM's flexible pattern matching file verifier

A Swift wrapper for the libclang C API (version 4.0.x)

A compiler for the Kaleidoscope sample project, written in Swift

haskell ghc-illustrated

Declarative Binary Serialization for Swift Structures

Abstract Binding Trees

ATS2: Unleashing the Potentials of Types and Templates

The MLton repository

Swift Auto Completions for any Text Editor

The Swift Programming Language

The Swift Programming Language