Skip to content
View akrmn's full-sized avatar
  • Zürich, Switzerland

Organizations

@GracielaUSB

Block or report akrmn

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
@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

programmer at @snyk Zurich, Switzerland

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

@cstml
Vlad L cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"

Sheffield, United Kingdom

@serras
Alejandro Serrano serras
Engineer, functional programming passionate, author of 'FP for the Curious Kotliner', 'Haskell (Almost) Std. Libs.', 'Book of Monads', and 'Practical Haskell'

@JetBrains Utrecht, Netherlands

@realvictorprm
Victor Peter Rouven Müller realvictorprm
Programming Language, Computer Hardware, Game Development & FP Enthusiast :) I just love everything around Hard- & Software! F# for fun and profit!

VPR Mueller Software Solutions Switzerland

@mrkkrp
Mark Karpov mrkkrp
Software engineer at @tweag

@tweag Château-Thierry, France

@mboes
Mathieu Boespflug mboes

@tweag Athens, Greece

@lmccart
Lauren Lee McCarthy lmccart
creator of p5.js, educator, artist (lauren-mccarthy.com)

http://lauren-mccarthy.com LA

@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

@andorp
Andor Penzes andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.

https://www.redbubble.com/shop/ap/92458473 London, United Kingdom

@emilypi
Emily Pillmore emilypi
I've stopped maintenance of most things in favor of taking care of animals. I encourage y'all to do the same.

@kadena-io Salt Lake City, Utah

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@aitorres
Andrés Ignacio Torres aitorres
28 years old. Software Engineer @ Microsoft Vancouver. Computer Science (CU Boulder | Universidad Simón Bolívar).

@microsoft Canada

@ocramz
Marco Z ocramz
ML + λ

@unfoldml

@pepeiborra
Pepe Iborra pepeiborra
Functional programmer

Meta London, UK