codafi Goto Github PK

functional-swift-style-guide

Style and Conventions for Functional Swift Projects

gnustep-base

homebrew

:beer: The missing package manager for OS X.

hott-exercises

Working my way through HoTT

hott-summer

My Notes and Solutions from the CMU Hott Summer School

idekit

A framework for creating Integrated Development Environments

krakenkit

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

lambda-pi-omega.com

My website

language-swift

A Parser and Pretty Printer for Swift

libetpan

Mail Framework for C Language

libjsonz

A not-so-strict, lightweight JSON parsing library

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

llvm-project

llvmswift

A Swifty wrapper for the LLVM C API version 3.9.1

lolcode.tmlanguage

LOLCODE Syntax Highlighting for Sublime Text 2 and TextMate

mailcore2

MailCore 2 provide a simple and asynchronous API to work with e-mail protocols IMAP, POP and SMTP. The API has been redesigned from ground up.

nsattributedstringmarkdownparser

A Markdown NSAttributedString parser.

parsimmon

A Swift Parser Combinator Library Parsecs Ahead of the Rest

persistentstructure

Clojure's Data Structures, Ported

persistentstructure.swift

The art of persistence

photosanimationdemo

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

presentations

problems

rainbow

Delightful console output for Swift developers.

rust

A safe, concurrent, practical language.

silt

An ML-like programming language.

sml-typed-abts

multi-sorted nominal abstract binding trees

sourcekit-lsp

Language Server Protocol implementation for Swift and C-based languages

sparkling

A lightweight, extensible, C-style scripting language

sparkling-rosettacode

Pushing Sparkling towards 100% RosettaCode example coverage one problem at a time.