The Wayback Machine - https://web.archive.org/web/20220106220013/https://github.com/CodaFi
Skip to content
Avatar
503 followers · 27 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@MailCore @DotMail @NUIKit @typelift @apple @silt-lang @llvm-swift
Block or Report

Block or report CodaFi

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. apple/swift Public

    The Swift Programming Language

    C++ 58.4k 9.4k

  2. silt-lang/silt Public

    An in-progress fast, dependently typed, functional programming language implemented in Swift.

    Swift 225 13

  3. llvm-swift/LLVMSwift Public

    A Swift wrapper for the LLVM C API (version 11.0)

    Swift 689 48

  4. CFAAction Public

    Composable Core Animation Actions �? la SceneKit

    Objective-C 68 5

  5. typelift/Swiftz Public

    Functional programming in Swift

    Swift 3.3k 244

  6. typelift/SwiftCheck Public

    QuickCheck for Swift

    Swift 1.4k 97

821 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

January 2022

Created 5 commits in 1 repository

Created a pull request in apple/swift that received 4 comments

Query Equatable/Comparable Conformances to Build Typed Derived ASTs

This resolves a case of a semantic ambiguity dredged up in rdar://86780149. The problem there is a library author exported a retroactive conformanc…

+128 −48 • 4 comments
Opened 2 other pull requests in 1 repository