codafi Goto Github PK
Name: Robert Widmann
Type: User
Company: CodaFi
Location: Pittsburgh
Blog: λπω.com
Name: Robert Widmann
Type: User
Company: CodaFi
Location: Pittsburgh
Blog: λπω.com
Optimal evaluator of λ-calculus terms.
DEPRECATED: A delightful extension to the AFNetworking classes for iOS and Mac OS X.
Dependently Typed Metaprogramming Exercises
Declarative Binary Serialization for Swift Structures
Abstract Algebraic Structures in Swift
Automatic verification of LLVM optimizations
Combinators for the real world
Functional streaming abstractions in Swift
An Antagonistic weather application written for Tobias Van Schneider
Pure Declarative Programming in Swift, Among Other Things
An open-source Foundation framework surrogate, written in Swift
Digging a Foundation With A Spoon
A simple, decentralized dependency manager for Cocoa
Composable Core Animation Actions à la SceneKit
Use Mountain Lion's dictation feature for commands
[Broken] A view that renders its superview with a gaussian blur.
A specialized view controller that manages a radio-style selection interface
Automatically synchronized defaults for Mac
The innards of NSViewController, now with 10.3 compatability
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
A Swift wrapper for the libclang C API (version 3.9.x)
A native client for GodBolt
Functional Concurrency Primitives
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
Mirror of Epigram 2, by Conor McBride, et al.
An active fork of the sourceforge etPanKit repository, so this is not lost given the recent Google acquisition of Sparrow.
A modern version of ‘ls’.
Wrangling The Stack Exchange API
Optics for Swift
A simple Objective-C library that wraps the Fischertechnik API
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.