Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View cagix's full-sized avatar
97 followers · 370 following

Achievements

Achievement: Galaxy Brainx2Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Galaxy Brainx2Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

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.

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
@dwrensha
David Renshaw dwrensha

@icarm Pittsburgh, PA

@thedrlambda
Christian Clausen thedrlambda

@Merrymake Aarhus

@ContextLab
Contextual Dynamics Laboratory ContextLab
Contextual Dynamics Laboratory at Dartmouth College

Hanover, NH

@Summer-MIND
Methods in Neuroscience at Dartmouth Summer-MIND
MIND Summer School at Dartmouth College

Hanover, NH

@e-n-f
Erica Fischer e-n-f
@utah-cs3960-sp26
utah-cs3960-sp26
@stfnw
Stefan Walter stfnw
@bagder
Daniel Stenberg bagder
I don't know anything. On team @curl.

@wolfSSL the curl factory, Sweden - close to Nebraska

@ucsd-cse230
ucsd-cse230
@michaelgutmann
Michael Gutmann michaelgutmann
@Homebrew
Homebrew Homebrew
The missing package manager for macOS (or Linux)

GitHub

@nvim-lua
Neovim Lua nvim-lua
A collection of high-quality, standardized plugins written in Lua for Neovim
@tjdevries
TJ DeVries tjdevries
Software developer. I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
@Olical
Oliver Caldwell Olical
Conjuring up tools that help you interact with your software.

@GowerStreet London, England

@dynaroars
Roars Lab dynaroars
Roars (Research on Automated Reasoning Systems) Lab at George Mason University

United States of America

@iandol
Ian Max Andolina iandol
Neuroscientist studying visual perception.

Institute of Neuroscience, Chinese Academy of Sciences Shanghai

@robpike
Rob Pike robpike
Professional dillettante.
@UCSC-CSE-114A
UCSC-CSE-114A
@choral-lang
Choral choral-lang
a choreographic programming language
@Foundations-of-Decentralization-Group
Foundations-of-Decentralization-Group
@lsd-ucsc
Languages, Systems, and Data at UC Santa Cruz lsd-ucsc
@gshen42
Gan Shen gshen42
@susam
Susam susam
Creator of TeXMe, Uncap, etc. Developing tiny, lightweight and minimalist tools for computer programmers and scholars.
@graalvm
GraalVM graalvm
GraalVM compiles your applications ahead of time into native executables that start instantly, scale fast, and use fewer compute resources 🚀
@cmontella
Corey Montella cmontella
I build robots and programming languages. Officially labelled a disturber of the peace.

@mech-lang Lehigh Valley, USA

@woodrush
Hikaru Ikuta woodrush
Ph.D in Information Science and Technology (UTokyo)

@mantra-inc Tokyo, Japan

@jupyter-book
Jupyter Book jupyter-book
@mscroggs
Matthew Scroggs mscroggs

University College London King's Lynn

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@boisgera
Sébastien Boisgérault boisgera

Mines Paris - PSL Paris, France

@Garciat
Gabriel Garcia Torrico Garciat

@PicnicSupermarket Amsterdam, NL

@oskar2517
Oskar oskar2517
I like axolotls

Germany

@TheAlgorithms
The Algorithms TheAlgorithms
Open Source resource for learning Data Structures & Algorithms and their implementation in any Programming Language

India

@CompilerProgramming
CompilerProgramming
@kmicinski
Kristopher Micinski kmicinski
Lover of lambdas.

Kris Micinski Syracuse, NY

@ashtonjamesd
ashtonㅤ ashtonjamesd
fanatical and recreational C developer

United Kingdom

@rtoal
Ray Toal rtoal

Los Angeles, CA USA

@oflatt
Oliver Flatt oflatt

Salt Lake City

@mwillsey
Max Willsey mwillsey
asst prof at uc berkeley

Berkeley, CA

@dibyendumajumdar
Dibyendu Majumdar dibyendumajumdar
@cliffclick
Cliff Click cliffclick
Founder, Entrepreneur, CTO. A longtime veteran of Silicon Valley with over 40 yrs coding; core contributor to HotSpot; hundreds of public talks, 20 patents.

Stealth Mode Startup Santa Cruz, CA

@effekt-lang
Effekt Language effekt-lang
Home of the Effekt research language -- all repositories associated with the Effekt language
@proglang
Peter Thiemann proglang
Programming Languages @ uni Freiburg was born in 1999.

Freiburg, Germany

@se-tuebingen-exercises
Software Engineering exercises – University of Tübingen se-tuebingen-exercises
@jiribenes
Jiří Beneš jiribenes
PhD student at @se-tuebingen. Interested in effect and coeffect systems.

University of Tübingen, @se-tuebingen Tübingen, Germany

@norvig
Peter Norvig norvig
Author, Programmer, Teacher, Research Director at Google

Google Palo Alto, CA, USA

@lexi-lambda
Alexis King lexi-lambda

Chicago, IL

@ninioArtillero
Xavier Góngora ninioArtillero
Mathematician and musician doing research in music DSLs, live coding and functional programming. Founding member of @sptm-unam. Software engineer at @tweag.

@tweag Tepoztlán, Mexico

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@ucsd-progsys
ucsd-progsys