Stars
Lean 4 kernel / 'external checker' written in Lean 4
A high-level build system based on llbuild, used by Xcode, Swift Playground, and the Swift Package Manager
This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…
Exoticri's metadata and locale edits to MiloHax's Rock Band 3 Deluxe mod
A modern, expressive testing package for Swift
Advanced mathematical types and functions for Swift
swiftlang / llvm-project
Forked from llvm/llvm-projectThe 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
Normalization by Evaluation for Martin-Löf Type Theory
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.
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
Declarative Binary Serialization for Swift Structures
ATS2: Unleashing the Potentials of Types and Templates
Swift Auto Completions for any Text Editor