Skip to content
View dckc's full-sized avatar
149 followers · 11 following

Achievements

Achievement: Public SponsorAchievement: Galaxy Brainx2Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: Public SponsorAchievement: Galaxy Brainx2Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Organizations

@monte-language @PCORnet @Agoric

Block or report dckc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@EdSchouten
Ed Schouten EdSchouten
Author of Buildbarn

Apple, Inc. Veghel, the Netherlands

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@CubeSpawn
CubeSpawn CubeSpawn
I'm an open source, modular, FMS! (Flexible Manufacturing System)

@CubeSpawn Coders Lounge, Habitable Zone, Sol III

@TrenchFloat
Kyle Connolly TrenchFloat
Music student and blogger based in Kansas City.

Kansas City, MO

@mgurley
Michael Gurley mgurley
@petereitz
Pete Reitz petereitz
@hyperevo
Tommy hyperevo

Canada

@erights
Mark S. Miller erights

@Agoric

@cattolyst
cattolyst
@timbl
Tim Berners-Lee timbl

@inrupt Boston MA USA

@hoehrmann
Björn Höhrmann hoehrmann

Berlin