Discover @CodaFi Open Source projects

Robert Widmann (@CodaFi)

CodaFi

Stars
1,472
Global Rank 20,456 (Top 0.8 %)
Followers 612
Following 32
Registered almost 12 years ago
Most used languages

Objective-C
43.5 %

Swift
21.7 %

Agda 8.7 %

C
8.7 %

C++
4.3 %

JavaScript
4.3 %

Objective-C++ 4.3 %

Haskell
4.3 %
Location 🇺🇸 United States
Country Total Rank 6,374
Country Ranking

Agda 10

Objective-C++ 17

Objective-C
260

Haskell
913

Swift
1,198

C
1,583

AFNetworking-RACExtensions

DEPRECATED: A delightful extension to the AFNetworking classes for iOS and Mac OS X.

CFIFrostedOverlayView

[Broken] A view that renders its superview with a gaussian blur.

IDEKit

A framework for creating Integrated Development Environments

C-Macs

Digging a Foundation With A Spoon

CFAAction

Composable Core Animation Actions à la SceneKit

Compiler-Explorer

A native client for GodBolt

functional-swift-style-guide

Style and Conventions for Functional Swift Projects

Presentations

Agda-Metaprogramming

Dependently Typed Metaprogramming Exercises

Authentic-Weather

An Antagonistic weather application written for Tobias Van Schneider

KrakenKit

An (Obj)C(++) wrapper library for the Github API

APL.swift

Combinators for the real world

language-swift

A Parser and Pretty Printer for Swift

LOLCODE.tmLanguage

LOLCODE Syntax Highlighting for Sublime Text 2 and TextMate

CFIDictaphonicWindow

Use Mountain Lion's dictation feature for commands

Hott-Summer

My Notes and Solutions from the CMU Hott Summer School

ExchangeKit

Wrangling The Stack Exchange API

PersistentStructure

Clojure's Data Structures, Ported

PhotosAnimationDemo

An attempt to recreate the cool animations when the iOS Photos app presents an email controller

ParkingLot

CFIUserDefaults

Automatically synchronized defaults for Mac

Parsimmon

A Swift Parser Combinator Library Parsecs Ahead of the Rest

CFIViewController

The innards of NSViewController, now with 10.3 compatability

CFISegmentedViewController

A specialized view controller that manages a radio-style selection interface

SwiftPMTestFail

Reproducer Repo for Swift-PM Build Failures

TyperBot