Pinned Repositories
AFNetworking-RACExtensions
DEPRECATED: A delightful extension to the AFNetworking classes for iOS and Mac OS X.
C-Macs
Digging a Foundation With A Spoon
CFAAction
Composable Core Animation Actions à la SceneKit
CFIFrostedOverlayView
[Broken] A view that renders its superview with a gaussian blur.
IDEKit
A framework for creating Integrated Development Environments
LLVMSwift
A Swift wrapper for the LLVM C API (version 11.0)
silt
An in-progress fast, dependently typed, functional programming language implemented in Swift.
swift
The Swift Programming Language
SwiftCheck
QuickCheck for Swift
Swiftz
Functional programming in Swift
CodaFi's Repositories
CodaFi/C-Macs
Digging a Foundation With A Spoon
CodaFi/Compiler-Explorer
A native client for GodBolt
CodaFi/Hott-Summer
My Notes and Solutions from the CMU Hott Summer School
CodaFi/SwiftCheck
QuickCheck for Swift
CodaFi/ParkingLot
Futexes
CodaFi/swift
The Swift Programming Language
CodaFi/SwiftPMTestFail
Reproducer Repo for Swift-PM Build Failures
CodaFi/swiftz
Functional programming in Swift
CodaFi/Alchemy
Declarative Binary Serialization for Swift Structures
CodaFi/alive
Automatic verification of LLVM optimizations
CodaFi/Concurrent
Functional Concurrency Primitives
CodaFi/exa
A modern version of ‘ls’.
CodaFi/llvm-project
CodaFi/LLVMSwift
A Swifty wrapper for the LLVM C API version 3.9.1
CodaFi/silt
An ML-like programming language.
CodaFi/sourcekit-lsp
Language Server Protocol implementation for Swift and C-based languages
CodaFi/swift-argument-parser
Straightforward, type-safe argument parsing for Swift
CodaFi/swift-book
The Swift Programming Language book
CodaFi/swift-build
Alternate Swift Builds
CodaFi/swift-driver
Swift compiler driver reimplementation in Swift
CodaFi/swift-evolution
This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.
CodaFi/swift-format
Formatting technology for Swift source code
CodaFi/swift-lldb
This is the version of LLDB that supports the Swift programming language & REPL.
CodaFi/swift-llvm
CodaFi/Swift-Package-Cycle-One
CodaFi/Swift-Package-Cycle-Two
CodaFi/swift-package-manager
The Package Manager for the Swift Programming Language
CodaFi/swift-syntax
SwiftPM package for SwiftSyntax library.
CodaFi/swift-tools-support-core
Contains common infrastructural code for both SwiftPM and llbuild.
CodaFi/Swiftx
Functional data types and functions for any project