8000 robotlolita (Quil) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View robotlolita's full-sized avatar
🐴
everything happens so much oh no
🐴
everything happens so much oh no
1.5k followers · 100 following

Organizations

@klarna @folktale @origamitower @sorellabs @klarna-incubator

Block or report robotlolita

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
@SimonJF
Simon Fowler SimonJF

University of Glasgow Glasgow

@renpy
The Ren'Py Visual Novel Engine renpy
@lizadaly
Liza Daly lizadaly
Personal projects tends towards generative art and interactive fiction.

Somerville, MA

@ccrraaiigg
Craig Latta ccrraaiigg
Improviser of music, movies, and code. Maker with dynamic languages and open hardware. Founder of Black Page Digital: Live Code for Fast Ideas.

Black Page Digital Berkeley

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@pablocostass
Pablo Costas Sánchez pablocostass
On a sunny day, you might find me rollerblading :)

@Screenverse A Coruña, Spain

@namin
Nada Amin namin
Assistant Professor of Computer Science

Harvard University Cambridge, MA

@Maoni0
Maoni Stephens Maoni0

Microsoft

@audreyt
唐鳳 audreyt
Taiwan’s 1st digital minister (2016-2024) and the world’s 1st non-binary cabinet minister.

@g0v Taiwan

@Abigail
Abigail Abigail
Foodie. Hiker. Traveler. Sysadmin. DBA. Developer. Technical Analyst.

- Earth

@fdfzcq
Sophy Cao fdfzcq

Spotify Stockholm, Sweden

@bugarela
Gabriela Moreira bugarela
Research Engineer at @informalsystems working on Quint

@informalsystems Joinville, SC - Brazil

@smarr
Stefan Marr smarr
Investigating concurrency, language implementation, and VM technology.

University of Kent Canterbury, UK

@mikesamuel
Mike Samuel mikesamuel
Programming languages ∩ security. Previously, Google technical infrastructure.

Denver, CO

@marco-vassena
Marco Vassena marco-vassena
Assistant professor interested in programming languages and security

Utrecht University Utrecht, Netherlands

@tpetricek
Tomas Petricek tpetricek
Academic interested in new ways of thinking about programming and history & philosophy of computing. Likes @fsharp, created @the-gamma & @fsharpworks member.

Charles University Prague

@jamiejennings
Jamie A. Jennings jamiejennings
Computer Science faculty, NCSU. Former IBMer. No longer using GitHub. Repos have moved!

NCSU NC, USA

@heathermiller
Heather Miller heathermiller

Carnegie Mellon University Pittsburgh, PA, USA

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

Glasgow, UK

@vakila
Anjana Vakil vakila
Independent Developer Educator & Software Engineer

San Francisco | Berlin

@gmarap
Gabriella Mara gmarap
computer science student, full-time nerd and painter on my days off.
@codebytere
Shelley Vohr codebytere
core eng @electron. collaborator @nodejs. organizer @queerjs 🏳️‍🌈. misc @tc39 @openjs-foundation. way too online. often caffeinated. cruciverbalist.

@microsoft Berlin

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@pixelmaid
Jennifer Jacobs pixelmaid
@akeep
Andy Keep akeep

Facebook Redmond, WA

@kg
Katelyn Gadd kg
I work on the .NET runtime and created the Jiterpreter. Creator of JSIL and one of the creators of WebAssembly. Sometimes I make video games

Seattle, WA

@pchiusano
Paul Chiusano pchiusano

Unison Computing, a public benefit corp New Orleans, LA

@olabini
Ola Bini olabini

Centro de Autonomía Digital Quito, Ecuador

@djspiewak
Daniel Spiewak djspiewak
I write code, read papers, and think thoughts. Broadly, I'm interested in: type theory, parser theory, functional abstractions, data structures, performance.

@nvidia Chicago, IL

@paf31
Phil Freeman paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.

Los Angeles, CA

@clausreinke
Claus Reinke clausreinke

Germany

@takanuva
Paulo Torrens takanuva
Shame on me, shame on me, I'm a tool and nothing more.
@dmbarbour
David Barbour dmbarbour

Overland Park, KS

@mflatt
Matthew Flatt mflatt

PLT, University of Utah Salt Lake City

@simonmar
Simon Marlow simonmar

Facebook UK Ltd. Cambridge, UK

@tavisrudd
Tavis Rudd tavisrudd

Vancouver

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@bos
Bryan O'Sullivan bos
@alex
Alex Gaynor alex
I program computers, and build teams that program computers, with a heavy focus on security.

Washington D.C.

@michaelficarra
Michael Ficarra michaelficarra

@shapesecurity, part of @f5networks Colorado, USA

@puffnfresh
Brian McKenna puffnfresh
λ

Launceston & North East Railway Tasmania, Australia

@chrisdone
Chris Done chrisdone

Artificial Labs @artificialio England

@jvns
Julia Evans jvns
@milessabin
Miles Sabin milessabin
I do stuff with Scala. Partner at underscoreio, Typelevel cofounder, Scala SIP committee member. Type astronaut, shapeless/scalac/dotty hacker.

Underscore/Typelevel/shapeless/grackle Brighton, UK

@pmh
Patrik Hedman pmh

Kundo Sweden

@slightlyoff
Alex Russell slightlyoff
https://infrequently.org/about-me/

Microsoft San Francisco

@lkuper
Lindsey Kuper lkuper

UC Santa Cruz

@zkat
Kat Marchán zkat
rustacean 🦀, @typescript tooling team @microsoft

@Microsoft stolen Chochenyo Ohlone land

@natefaubion
Nathan Faubion natefaubion

LA

@maximecb
Maxime Chevalier-Boisvert maximecb
PhD in compiler design. Also having fun with graphics, machine learning, electronics, music and DIY. All opinions are my own.

Montreal, Canada

0