Skip to content
View jkopanski's full-sized avatar
30 followers · 112 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@Perspicuous-Computing

Block or report jkopanski

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
@theblacklotus
theblacklotus
Sug fett!
@jamesmckinna
jamesmckinna
@up-to-speed
UpToSpeed up-to-speed
@cubix-framework
cubix-framework
@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@yupferris
Jake Taylor yupferris
dad(jokes), demoscene, rendering, compilers, compression, FPGA, emulation, music production

Arm Oslo, Norway

@sd2psx
sd2psx
@locallycompact
Daniel Firth locallycompact
Author of horizon-haskell. https://horizon-haskell.net
@rougier
Nicolas P. Rougier rougier
Researcher in computational and cognitive neuroscience supporting open source, open access and open science.

@INRIA Bordeaux, France

@emacs-twist
Emacs Twist emacs-twist
Reproducible package and configuration management for Emacs
@jkachmar
jkachmar jkachmar

@MercuryTechnologies New York City

@zaklogician
Zoltan A. Kocsis zaklogician
Mathematical logic, software safety, static typing down under. Worked on seL4.
@LightAndLight
Isaac Elliott LightAndLight

Australia

@maltenmuller
Malin Altenmüller maltenmuller

University of Edinburgh Edinburgh

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@pmbittner
Paul Bittner pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG

@TUBS-ISF Würzburg

@wouter-swierstra
Wouter Swierstra wouter-swierstra

Universiteit Utrecht Utrecht, the Netherlands

@talonvoice
Talon talonvoice
Next-generation voice control and alternate input.
@SlimTim10
Tim Johns SlimTim10

Toronto, Ontario

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@nixops4
NixOps4 nixops4
First-principles NixOps rewrite
@Xe
Xe Iaso Xe
Hacker, Nephelemancer, kastermakfa - username pronounced as /zi/

@TecharoHQ & @tigrisdata Canada

@sellout
Greg Pfeil sellout
Designing terrible languages and writing Haskell. Sometimes writing code to help my other pursuits … like skiing or telling time.

independent consultant Boulder, CO, USA

@jespercockx
Jesper Cockx jespercockx

TU Delft

@justinwoo
Justin Woo justinwoo
@VictorCMiraldo
Victor Cacciari Miraldo VictorCMiraldo

@converge-io Utrecht, the Netherlands

@sseefried
Sean Seefried sseefried
Functional programmer, cryptocurrency observer, and hobbyist games developer.

Seefried Software Services Australia

@bolt12
Armando Santos bolt12

@well-typed Portugal - Braga

@ThereIsNoPie
ThereIsNoPie
I like functional programming so I have to read less garbage code. It's still there... I just don't have to read it.
@Perspicuous-Computing
Perspicuous Computing Perspicuous-Computing
Efficient and reliable software & hardware with simple formal specifications and machine-checked proofs.
@jwiegley
John Wiegley jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.

@kadena-io California, USA

@flupe
Lucas Escot flupe

Lyon, FR

@arianvp
Arian van Putten arianvp

Berlin

@Taneb
Nathan van Doorn Taneb

Reggio Emilia, Italy

@TristanCacqueray
Tristan de Cacqueray TristanCacqueray

Red Hat

@jmchapman
James Chapman jmchapman
Free the group. Nuke the kernel. Power to the n.

@input-output-hk Glasgow, UK

@omelkonian
Orestis Melkonian omelkonian
PhD @ University of Edinburgh   Formal Methods @input-output-hk   Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification

Input Output (IOG) Kirkwall, Orkney, Scotland

@Soupstraw
Joosep Jääger Soupstraw

Tartu, Estonia

@MartinHell
Martin Hellström MartinHell

@HellstromIT London

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@bsaul
Bradley Saul bsaul

Chapel Hill, NC

@plt-amy
Amélia plt-amy
Homotopy type theorist ✨

Brazil

@AtticusKuhn
Atticus Kuhn AtticusKuhn
Computer Science Student at Trinity College, Cambridge

Cambridge, United Kingdom

@hellwolf
Miao ZhiCheng hellwolf
Promoting the idea of Semantic Money at Superfluid Finance | Building a decentralized future

@decentral-ee, @superfluid-finance Tallinn, Estonia

@note89
Nils Eriksson note89

Mirdin

@krzysztofzablocki
Krzysztof Zabłocki krzysztofzablocki
Making Swift engineers more efficient through tools and workflows.  My code powers up over 80 000+ apps.

Warsaw, Poland

@Nicke1980
Nicke1980
@matslexell
Mats Lexell matslexell
@bengoism
Axel Bengtsson bengoism
Software developer based in Stockholm

Stockholm