A Swift macro that lets you write inline assembly and implement a Swift function.

Safe(ish) C programming library

The new nanopass framework; an embedded DSL for writing compilers in Scheme

a vim plugins for manage swift projects

OSS-Fuzz - continuous fuzzing for open source software.

Swift benchmark runner with many performance metrics and great CI support

Verified Assembly Language for Everest

Lightweight & minimal project template using "modern" CMake

💧 A server-side Swift HTTP web framework.

A massively parallel, high-level programming language

Dafny is a verification-aware programming language

Swift Game Engine supporting Windows, Linux, macOS, HTML5, and more 🚂

AutoFDO

System for verifying the correctness of generated Copilot programs

A modern Prolog implementation written mostly in Rust.

langcc: A Next-Generation Compiler Compiler

A language server for Standard ML.

The Swift Programming Language book

🐦 An async Swift library for the Twitter v2 API 🚧 WIP

Standard ML of New Jersey

Tool for translating plain-text programming-language syntax specifications into LaTeX or HTML

A new type of shell

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Benchmarks for capture-avoiding substitution

A statically typed concatenative systems programming language.

Fluid interpreter and libraries

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

mold: A Modern Linker 🦠