Skip to content
View carbolymer's full-sized avatar
🤔
Building castles of abstraction
🤔
Building castles of abstraction
16 followers · 34 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report carbolymer

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
@eust-w
longtao eust-w
Focus on AI !

Sol III

@clarus
Guillaume Claret clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.

Formal Land Paris

@FaizanShaikh-3033
Faizan Shaikh FaizanShaikh-3033
@tomek-grzesiak
tomek-grzesiak
@aniketd
Aniket Deshpande aniketd
In search of precision and grace... @input-output-hk @fpco @xebialabs-community

@input-output-hk Earth

@harryprayiv
Harry Pray IV harryprayiv
Haskell, Nix, Plutus, Purescript; functional programming enthusiast

Cambridge, MA

@chutien
Tien Chu chutien
@khibino
日比野 啓 (Kei Hibino) khibino
Working Haskell Programmer . The author of Haskell Relational Record, Project Site https://khibino.github.io/haskell-relational-record/

Tokyo, Japan

@dedimark
John dedimark

Dedcloud Network Ltd Vilnius

@miguelclean
Michal miguelclean

warsaw ~ berlin ~ vienna

@teesa-git
teesa-git
@tsahyt
tsahyt
@KevinHock
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.

@grammarly (Formerly @pinterest, @Yelp) I love San Francisco

@Ameobea
Casey Primozic Ameobea
https://twitter.com/ameobea10

Seattle, WA, USA

@mdoch
Marta mdoch

Warsaw, Poland

@arthurbarros
arthur arthurbarros