Skip to content
View lllssskkk's full-sized avatar

Highlights

  • Pro

Block or report lllssskkk

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@lmu-plai
PLAI @ LMU Munich lmu-plai
Chair for Programming Languages and Artificial Intelligence

Munich

@ROF13ThFloor
Rof13thfloor ROF13ThFloor
Software Security PhD Student

KTH Royal Institute of Technology Stockholm

@luc-tielen
Luc Tielen luc-tielen
Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.

Lambda Tech Belgium

@HarvardPL
Harvard Programming Languages Research HarvardPL
The repo of the Harvard PL research group
@haskellfoundation
Haskell Foundation haskellfoundation
Non-profit dedicated to supporting and promoting the Haskell language and community worldwide.
@the-nix-way
The Nix Way the-nix-way
Opinionated learning resources for the Nix package manager and language
@jul1u5
Julius Marozas jul1u5
PhD @ Chalmers

Chalmers University of Technology Sweden/Lithuania

@agustinmista
Agustín Mista agustinmista

@Tweag Gothenburg, Sweden

@Rewbert
Robert Krook Rewbert
PhD student at Chalmers University of Technology. Compilers, IoT, Languages, Testing

Chalmers University of Technology Gothenburg

@erinilsso
Erik Anders Harry Nilsson erinilsso
Interested in functional programming, AI and more. Chalmers student
@nachivpn
Nachi Valliappan nachivpn
Doing this research thing
@patrikja
Patrik Jansson patrikja

Chalmers University of Technology Göteborg, Sweden

@alexgerdes
Alex Gerdes alexgerdes

Chalmers University of Technology Sweden

@himmelhao
Hao Hu himmelhao
MSc Computer Science @ Chalmers

Hogwarts

@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

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

Bath, United Kingdom

@andrewmeehan
Andrew Meehan andrewmeehan
TCD Computer Science

Dublin

@smcck222
Sherin Cherian smcck222
Data Engineer @ EY

Ernst & Young Dublin, Ireland.

@mlabs-haskell
MLabs mlabs-haskell
Haskell, Rust, FinTech and AI Consultancy

United Kingdom

@DarrenKitching
Darren Kitching DarrenKitching
Software Engineer @ Arista Networks

Dublin, Ireland