John Connolly (John-Connolly)

John-Connolly

Geek Repo

Location:Halifax, Canada

Github PK Tool:Github PK Tool


Organizations
concorde-framework
Swift-Q

John Connolly's starred repositories

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

swift-composable-architecture

A library for building applications in a consistent and understandable way, with composition, testing, and ergonomics in mind.

Language:SwiftLicense:MITStargazers:11949Issues:210Issues:434

Sourcery

Meta-programming for Swift, stop writing boilerplate code.

Language:SwiftLicense:MITStargazers:7607Issues:88Issues:714

SwiftWebUI

A demo implementation of SwiftUI for the Web

Language:SwiftLicense:Apache-2.0Stargazers:4145Issues:90Issues:58

zio

ZIO — A type-safe, composable library for async and concurrent programming in Scala

Language:ScalaLicense:Apache-2.0Stargazers:4034Issues:113Issues:2544

swift-snapshot-testing

📸 Delightful Swift snapshot testing.

Language:SwiftLicense:MITStargazers:3693Issues:41Issues:348

swift-log

A Logging API for Swift

Language:SwiftLicense:Apache-2.0Stargazers:3445Issues:58Issues:89

swift-format

Formatting technology for Swift source code

Language:SwiftLicense:Apache-2.0Stargazers:2367Issues:152Issues:211

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:1836Issues:64Issues:277

swift-doc

A documentation generator for Swift projects

Language:SwiftLicense:MITStargazers:1683Issues:36Issues:161

Coq-HoTT

A Coq library for Homotopy Type Theory

Language:CoqLicense:NOASSERTIONStargazers:1231Issues:61Issues:573

swift-system

Low-level system calls and types for Swift

Language:SwiftLicense:Apache-2.0Stargazers:1163Issues:151Issues:35

swift-win32

A Windows application framework for Swift

Language:SwiftLicense:BSD-3-ClauseStargazers:1090Issues:27Issues:59

async-http-client

HTTP client library built on SwiftNIO

Language:SwiftLicense:Apache-2.0Stargazers:892Issues:26Issues:261

OnboardingKit

OnboardingKit is a Swift SDK that helps you create onboarding experiences in Swift and SwiftUI.

Language:SwiftLicense:MITStargazers:536Issues:9Issues:14

attoparsec

A fast Haskell library for parsing ByteStrings

Language:HaskellLicense:NOASSERTIONStargazers:513Issues:20Issues:106

karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Language:OCamlLicense:Apache-2.0Stargazers:390Issues:43Issues:154

swift-nio-ssh

SwiftNIO SSH is a programmatic implementation of SSH using SwiftNIO

Language:SwiftLicense:Apache-2.0Stargazers:387Issues:20Issues:39

HAP

Swift implementation of the Homekit Accessory Protocol

Language:SwiftLicense:MITStargazers:364Issues:26Issues:73

machines

Networks of composable stream transducers

Language:HaskellLicense:NOASSERTIONStargazers:338Issues:35Issues:49

swift-llbuild2

A fresh take on a low-level build system API.

Language:SwiftLicense:Apache-2.0Stargazers:280Issues:117Issues:0

guides

Guides for building, debugging and deploying Swift Server applications

bow-arch

🏛 Functional Architecture in Swift using Bow

Language:SwiftLicense:NOASSERTIONStargazers:198Issues:10Issues:2

swift-cluster-membership

Distributed Membership Protocol implementations in Swift

Language:SwiftLicense:Apache-2.0Stargazers:197Issues:21Issues:41

jpeg

decode, inspect, edit, and encode jpeg images in pure swift

Language:SwiftLicense:MPL-2.0Stargazers:142Issues:7Issues:11

penguin

A suite of libraries for data science & high performance computation in Swift

Language:SwiftLicense:Apache-2.0Stargazers:135Issues:15Issues:31

Category-Theory-for-Programmers

Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"

Language:SwiftLicense:NOASSERTIONStargazers:92Issues:6Issues:27

flynn

Actor-model programming for Swift

kombucha

API snapshot testing

Language:SwiftLicense:BSD-2-ClauseStargazers:24Issues:12Issues:3