CodaFi/Agda-Metaprogramming

Stars
20
Rank 1,090,046 (Top 22 %)
Language Agda
Created over 8 years ago
Updated over 6 years ago

CodaFi/Agda-Metaprogramming

CodaFi

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Dependently Typed Metaprogramming Exercises

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

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

Basis

Pure Declarative Programming in Swift, Among Other Things

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