Nothing Special   »   [go: up one dir, main page]

Skip to content
View cagix's full-sized avatar
💭
- not bored -
💭
- not bored -

Organizations

@GermanTestingBoard @IUCompilerCourse @VR-Pioneers @cmput415-Fall20 @Dungeon-CampusMinden @Artificial-Intelligence-HSBI-TDU @Compiler-CampusMinden @aovim @Programmiermethoden-CampusMinden

Block or report cagix

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
@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@LeifBloomquist
Leif Bloomquist LeifBloomquist
My hovercraft is full of eels.

Schema Factor Toronto

@MatthewFluet
Matthew Fluet MatthewFluet
Associate Professor; Dept. of Computer Science; Rochester Institute of Technology

Rochester Institute of Technology Rochester, NY

@keleshev
Vladimir Keleshev keleshev
OCaml developer at SimCorp

Copenhagen, Denmark

@edrys-labs
edrys-labs (by CrossLab) edrys-labs
Peer2Peer Remote Labs

Germany

@no-defun-allowed
Hayley Patton no-defun-allowed
Me, I'm just a lawnmower.

Applied Language Melbourne, Australia

@michaelhaaf
Michael Haaf michaelhaaf

John Abbott College Montreal

@healeycodes
Andrew Healey healeycodes
software engineer @vercel

@vercel UK

@TUBAF-IfI-LiaScript
LiaScript Lectures TUBAF-IfI-LiaScript
LiaScript Repositories der Vorlesungen (TU Bergakademie Freiberg)
@roc-lang
Roc roc-lang
The Roc programming language
@seancorfield
Sean Corfield seancorfield
Veteran software architect, focusing on web / JVM / Clojure these days.

Bay Area, California

@eliben
Eli Bendersky eliben

@google California

@fikovnik
Filip Krikava fikovnik

Czech Technical University Czech Republic

@prgprg-org
PRG • PRG prgprg-org
Prague Programming Languages and Systems Research Network
@norswap
norswap norswap
Active stuff only, archives @ncellar.

OP Labs Belgium

@nlsandler
nlsandler

Seattle, WA

@aarneranta
Aarne Ranta aarneranta
Professor of Computer Science, research on grammar technology (GF and BNFC), teaching also in basic programming to large groups.

University of Gothenburg Gothenburg, Sweden

@CrowdHailer
Peter Saxton CrowdHailer
I love code and I love lamp

Memo Stockholmen

@adam-mcdaniel
adam mcdaniel adam-mcdaniel
open sourcerer🔓🏗️, musician🎸🎶, and computer science PhD student🎓

University of Tennessee, Knoxville Knoxville, TN

@andre-dietrich
André Dietrich andre-dietrich

TU Bergakademie Freiberg Germany

@SebastianZug
Sebastian Zug SebastianZug

TU Bergakademie Freiberg Freiberg (Germany)

@lindig
Christian Lindig lindig
Software Engineer at citrix.com. Previously: testfabrik.com, dagstuhl.de, st.cs.uni-sb.de, seas.harvard.edu

Citrix Cambridge, UK

@egraphs-good
egraphs-good
Using e-graphs to build cool stuff
@wedesoft
Jan Wedekind wedesoft
See https://www.wedesoft.de/about/

@RokeManorResearch Eastleigh, United Kingdom

@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

@dthain
Douglas Thain dthain

University of Notre Dame

@Cambridge-ICCS
Institute of Computing for Climate Science Cambridge-ICCS
Institute of Computing for Climate Science at the University of Cambridge
@aimacode
aimacode aimacode
Code for the book "Artificial Intelligence: A Modern Approach"

Berkeley, CA

@TimefoldAI
Timefold TimefoldAI
Planning optimization made easy.

Belgium

@JabRef
JabRef e.V. JabRef

Sindelfingen, Germany

@SquidDev
Jonathan Coates SquidDev
Cephalopod Developer

United Kingdom

@upb-lea
Paderborn University - LEA upb-lea
Department of power electronics and electrical drives

Paderborn, Germany