SwiftFiddle is an online playground for creating, sharing and embedding Swift fiddles (little Swift programs that run directly in your browser).

A small, simple TOML parser and serializer for Swift. Powered by toml++.

Provides (and demonstrates) workarounds for Swift Package Manager bugs and limitations.

Your favorite language gets closer to bare metal.

LSP server and VS Code extesion for the hylo programming language

Simple executable to produce code coverage numbers from the output of `swift test --enable-code-coverage`

The Hylo programming language

A Prolog-like language as a Swift Embedded Domain Specific Language.

Swift package for writing command line tools.

Translate EBNF into citron source

Compiler for Swiftlet

Commonly used data structures for Swift

This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Programs" published at ICST'20.

Stratagem - DD- and rewriting strategies- based model checker

Continuous Inspection

Modern, type-safe 2D/3D rendering engine.

A tiny blender file loader for python

Repository of the Colibri programming language

🎮 Simple, open-source 2D graphics for everyone

The FunBlocks programming environment

Swift type checking and semantic analysis for developer tools

A safe subset of Swift.

Swift compiler driver reimplementation in Swift

A Swift library to write parsers for domain specific languages.

A library to use YaDDs in Python.

TypePal is a framework for name analysis, type checking and type inference

The Alpine language

Pure Swift library of Decision Diagrams.