OpenRCT2 in your browser!

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

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