Formalizing Swift generics as a term rewriting system Previously I wrote about how the full generality of the Swift generic system is undecidable. The basic idea is that “finitely-presented monoids” can be written as a Swift protocol where the “word probl…

Powerful Swift CLI Spinners. Contribute to dominicegginton/Spinner development by creating an account on GitHub.

Simple high-resolution timing for Swift. Contribute to dominicegginton/Nanoseconds development by creating an account on GitHub.

Contribute to OneBusAway/OBAKit development by creating an account on GitHub.

There’s been a lot of motion in the last four months of the evolution of the Swift programming language that I’ve been wanting, waiting, and hoping for. The language maintainers are tac…

Swift for NNC. Contribute to liuliu/s4nnc development by creating an account on GitHub.

Swift for TensorFlow. Contribute to tensorflow/swift development by creating an account on GitHub.

The scientist has gained popularity as Covid’s excitable play-by-play announcer. But some experts want to pull his plug.

Swift Algorithms is an open-source package of sequence and collection algorithms, along with their related types. – apple/swift-algorithms…