Skip to content
View ComFreek's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
54 followers · 94 following

Achievements

Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@KWARC @UniFormal @UFrameIT

Block or report ComFreek

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@aleksander-mendoza
aleksander-mendoza
@curv3d
Curv curv3d
a language for making art using mathematics
@doug-moen
Doug Moen doug-moen
@nikoma1
nikoma1
@UniFormal
UniFormal UniFormal
UniFormal approach to knowledge representation centering on the MMT system

University Erlangen-Nürnberg, Germany

@andreaslyn
Andreas Lynge andreaslyn

Function Software ApS Denmark

@int-e
Bertram Felgenhauer int-e
I need to get off this ride.
@SESch93
JohnS SESch93
@JoelSjogren
Joel Sjögren JoelSjogren

Sweden

@makarius
makarius makarius
NOTE: My preferred way of collaboration is via decentralized services, such as my own https://vcs.sketis.net (by invitation only).
@Tuplanolla
Sampsa Kiiskinen Tuplanolla
I am a doctoral student working on computer science and computational physics.

University of Jyväskylä Finland

@m-ender
Martin Ender m-ender
@iblech
Ingo Blechschmidt iblech
Mathematician working in applied topos theory. Also interested in functional programming.

University of Padova Augsburg, Germany

@EslaMx7
Eslam Hamouda EslaMx7
Software Engineer with a passion for building tools that have a real impact

Egypt

@phikal
phikal
@rappatoni
Max Rapp rappatoni
@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@gcushen
Geo gcushen
💻 Data Science & Analytics Leader 📢 Building tech to empower people 🏋🏻‍♂️ Crossfitter

🚀

@kohlhase
Michael Kohlhase kohlhase
Professor of Computer Science at FAU Erlangen-Nürnberg. The @KWARC group works (on systems for) the representation and management of mathematical knowledge

Computer Science, FAU Erlangen Nürnberg Erlangen, Germany

@hanickadot
Hana Dusíková hanickadot
Staff Software Engineer in Woven by Toyota, Chair of Study Group for Reflection & Co-Chair of Evolution Working Group in C++ committee

Woven by Toyota Brno, Czech Republic

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@wsdookadr
Stefan Corneliu Petrea wsdookadr

Nowhere Nowhere

@sarahzrf
sarahzrf sarahzrf
computational trinitarian who only reads Church on easter and christmas

N/A sf

@casvdrest
Cas van der Rest casvdrest
Formal Methods Engineer

IOHK Delft

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@ocecaco
Daniël Louwrink ocecaco

Amsterdam

@kristinas
Kristina Sojakova kristinas

Carnegie Mellon University

@barry-jay-personal
Barry Jay barry-jay-personal
I've left the university to work on my book and explore other opportunities

self-employed Sydney, Australia

@EgbertRijke
Egbert Rijke EgbertRijke
Postdoc in Mathematics

Johns Hopkins University Baltimore, MD

@ahmadsalim
Ahmad Salim Al-Sibahi ahmadsalim
Assistant Professor

University of Copenhagen Copenhagen, Denmark

@siraben
Ben Siraphob siraben
@evanw
Evan Wallace evanw

San Francisco

@TeamSPoon
Douglas R. Miles TeamSPoon

@TeamSPoon https://github.com/logicmoo

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@WolframKahl
Wolfram Kahl WolframKahl

McMaster University Hamilton, Ontario, Canada

@mrkmarron
Mark Marron mrkmarron

Redmond, WA

@amp12
Andrew Pitts amp12

University of Cambridge Cambridge, UK

@peterlefanulumsdaine
Peter LeFanu Lumsdaine peterlefanulumsdaine

Stockholm University Stockholm, Sweden

@andrejbauer
Andrej Bauer andrejbauer
Professor of computational mathematics

University of Ljubljana Slovenia

@dginev
Deyan Ginev dginev
Software Engineer at arXiv.org

@arXiv New York

@iogf
Iury de oliveira gomes figueiredo iogf
I'm who i'm.

Rio de janeiro, brasil

@JohnWCartmell
John Cartmell JohnWCartmell
**Data driven** software engineer and metamathematician. Sometime specialist in CASE tools, sometime in laboratory workflow and scientific instrumentation.

Macclesfield, Cheshire, UK

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@BigZaphod
Sean Heber BigZaphod
@joshua-morris
Joshua Morris joshua-morris

Deswik Brisbane, Australia

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@thma
Thomas Mahler thma
FP afficionado. Working as an IT architect.

ista International GmbH Essen, Germany