Robert Widmann (CodaFi)

CodaFi

Geek Repo

Company:CodaFi

Location:Pittsburgh

Home Page:λπω.com

Github PK Tool:Github PK Tool


Organizations
apple
DotMail
llvm-swift
MailCore
NUIKit
silt-lang
typelift

Robert Widmann's repositories

C-Macs

Digging a Foundation With A Spoon

Compiler-Explorer

A native client for GodBolt

Language:SwiftLicense:MITStargazers:47Issues:6Issues:8

Hott-Summer

My Notes and Solutions from the CMU Hott Summer School

Language:AgdaStargazers:6Issues:3Issues:0

SwiftCheck

QuickCheck for Swift

Language:SwiftLicense:MITStargazers:6Issues:3Issues:0

ParkingLot

Futexes

Language:SwiftStargazers:3Issues:2Issues:0

swift

The Swift Programming Language

Language:C++License:Apache-2.0Stargazers:3Issues:4Issues:0

SwiftPMTestFail

Reproducer Repo for Swift-PM Build Failures

Language:SwiftLicense:MITStargazers:1Issues:3Issues:0

swiftz

Functional programming in Swift

Language:SwiftLicense:BSD-3-ClauseStargazers:1Issues:4Issues:0

Alchemy

Declarative Binary Serialization for Swift Structures

Language:SwiftLicense:MITStargazers:0Issues:3Issues:0

alive

Automatic verification of LLVM optimizations

Language:C++License:MITStargazers:0Issues:2Issues:0

Concurrent

Functional Concurrency Primitives

Language:SwiftStargazers:0Issues:3Issues:0

exa

A modern version of ‘ls’.

Language:RustLicense:MITStargazers:0Issues:3Issues:0
Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

LLVMSwift

A Swifty wrapper for the LLVM C API version 3.9.1

Language:SwiftLicense:MITStargazers:0Issues:3Issues:0

silt

An ML-like programming language.

Language:SwiftLicense:MITStargazers:0Issues:3Issues:0

sourcekit-lsp

Language Server Protocol implementation for Swift and C-based languages

Language:SwiftLicense:Apache-2.0Stargazers:0Issues:1Issues:0

swift-argument-parser

Straightforward, type-safe argument parsing for Swift

Language:SwiftLicense:Apache-2.0Stargazers:0Issues:2Issues:0

swift-book

The Swift Programming Language book

Language:MarkdownLicense:Apache-2.0Stargazers:0Issues:1Issues:0

swift-build

Alternate Swift Builds

Language:CMakeStargazers:0Issues:1Issues:0

swift-driver

Swift compiler driver reimplementation in Swift

Language:SwiftLicense:Apache-2.0Stargazers:0Issues:2Issues:0

swift-evolution

This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:4Issues:0

swift-format

Formatting technology for Swift source code

Language:SwiftLicense:Apache-2.0Stargazers:0Issues:1Issues:0

swift-lldb

This is the version of LLDB that supports the Swift programming language & REPL.

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0
Language:LLVMLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:SwiftLicense:MITStargazers:0Issues:2Issues:0
Language:SwiftLicense:MITStargazers:0Issues:2Issues:0

swift-package-manager

The Package Manager for the Swift Programming Language

Language:SwiftLicense:Apache-2.0Stargazers:0Issues:3Issues:0

swift-syntax

SwiftPM package for SwiftSyntax library.

Language:SwiftLicense:Apache-2.0Stargazers:0Issues:1Issues:0

swift-tools-support-core

Contains common infrastructural code for both SwiftPM and llbuild.

Language:SwiftLicense:Apache-2.0Stargazers:0Issues:2Issues:0

Swiftx

Functional data types and functions for any project

Language:SwiftLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0