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

Skip to content
View s1db's full-sized avatar
🐑
Sheep
🐑
Sheep
93 followers · 281 following
  • 19:09 (UTC)
  • Codestin Search App @s1db_

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@MINETCode @art4edu @dsindia @Young-Enterprise-Scotland

Block or report s1db

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
@shubham-goel
Shubham Goel shubham-goel
Computer Vision | ML

Avataar Berkeley, CA

@aniemetz
Aina Niemetz aniemetz

Stanford University

@maximaximal
Max Heisinger maximaximal
Computer Science PhD, PostDoc at JKU Linz

Johannes Kepler University Linz Linz, Austria

@marseidl
marseidl
@PlankAndreas
Andreas Plank PlankAndreas

Johannes Kepler University Linz

@BooleanFunctionalSynthesis
Boolean Functional Synthesis group at IIT Bombay BooleanFunctionalSynthesis
@leonlan
Leon Lan leonlan
PhD Candidate in Operations Research at VU Amsterdam

@RoutingLab Amsterdam

@d-krupke
Dr. Dominik Krupke d-krupke
Theoretical Mind, Practical Solutions: Mastering NP-Hard Optimization Problems @ Technical University of Braunschweig

TU Braunschweig Germany

@fastapi
FastAPI fastapi
FastAPI and friends open source projects. Created and managed by @tiangolo.
@sydney-runkle
Sydney Runkle sydney-runkle
Software Engineer at @langchain-ai 🤓, coffee lover ☕, running enthusiast 🏃‍♀️, podcast addict 🎧, and pastry aficionado 🥐!

@langchain-ai Somerville, MA

@lonsing
Florian Lonsing lonsing
@nguyenthanhvuh
ThanhVu (Vu) Nguyen nguyenthanhvuh
Associate Prof. in CS at George Mason University. Research in Formal Methods, Software Verification, Neural Network Verification.

George Mason University

@Allan-Perez
Allan Perez Allan-Perez

Bristol, UK

@johannaSommer
johannaSommer johannaSommer
ML Research Engineer @ Pruna AI | PhD student @ TU Munich

Pruna AI, TU Munich Munich, Germany

@yobibyte
yobi byte yobibyte
Senior Research Scientist @ NVIDIA. ex: Machine Learning/ RL PhD student at the University of Oxford, Intern at DeepMind, MSR, Facebook, NVIDIA; Latent Logic.

Oxford

@matklad
Alex Kladov matklad
Computers, democracy, and nervous disorder.

@tigerbeetle Lisbon

@avinassh
Avinash Sajjanshetty avinassh
I git stuff done

@tursodatabase Bangalore, India

@captn3m0
Nemo captn3m0
Making and Breaking things, sometimes intentionally

Bangalore, India

@ry
Ryan Dahl ry

@denoland New York City

@hellt
Roman Dodin hellt
Network Automation

@nokia Hague

@msooseth
Mate Soos @ Argot msooseth
Formal Verification Engineer at the Argot Collective (formerly employed by the Ethereum Foundation). Personal account: @msoos

Argot Collective @argotorg Berlin, Germany

@RobertNimmo26
Robert Nimmo RobertNimmo26

@Skyscanner

@VaradK62442
Varad Kulkarni VaradK62442
@minmit
Mina Tahmasbi Arashloo minmit

Cornell University United States

@lefticus
Jason Turner lefticus
Host of C++ Weekly YouTube series Curator of @cpp-best-practices

Denver, CO

@Abhiroop
Abhiroop Sarkar Abhiroop
Crafting compilers and interpreters.

ETH Zurich Zurich

@duncanatt
Duncan Paul Attard duncanatt
PhD Student at Reykjavík University and the University of Malta. Recently started a postdoc at the University of Glasgow.

Reykjavík University Glasgow

@arminbiere
Armin Biere arminbiere
Professor University of Freiburg

Freiburg im Breisgau, Germany

@mjhajharia
Meenal Jhajharia mjhajharia

\varnothing cornfields

@Horse-Lips
Jake Horse-Lips
@KshitizBisht
Kshitiz Bisht KshitizBisht
@BlairArchibald
Blair Archibald BlairArchibald

University of Glasgow Glasgow

@AImotion-Bavaria
AImotion Bavaria AImotion-Bavaria
The AI Mobility Hub AImotion in Ingolstadt, Bavaria is dedicated to the AI-based mobility of the future.
@AndreasGocht
Andreas Gocht-Zech AndreasGocht
I am a communicative computer scientist with experience in AI, efficient Algorithms and High-Performance-Computing.

SVA System Vertrieb Alexander GmbH Leipzig, Germany

@msoos
Mate Soos msoos
Model counting, SAT solving, symbolic execution, cryptography, and IT security

Berlin, Germany

@JoD
Jo Devriendt JoD
jodevriendt.com nonfictionsoftware.com gitlab.com/JoD/exact https://www.kuleuven.be/wieiswie/nl/person/00059879

University of Leuven / Nonfiction Software

@varnas554
Tom varnas554

University of Glasgow Glasgow

@soonhokong
Soonho Kong soonhokong

Amazon Web Services

@domschrei
Dominik Schreiber domschrei
Computer scientist at KIT (Karlsruhe), interested in SAT, Automated Planning and Linux stuff. Hobby musician and sporadic course instructor.

Karlsruhe Institute of Technology Karlsruhe, Germany

@mmcilree
Matthew J McIlree mmcilree
Final year PhD student at the University of Glasgow. Researching proof logging for constraint programming solvers.

University of Glasgow Glasgow

@jkinable
Joris Kinable jkinable
Senior Applied Scientist Amazon Adjunct faculty - Eindhoven University of Technology http://www.tue.nl/staff/j.kinable

Amazon USA

@StephanGocht
Stephan Gocht StephanGocht
@MatthewAlanLeBrun
Matthew Alan Le Brun MatthewAlanLeBrun
@arista-eosplus
Arista Networks EOS+ arista-eosplus
Applications developed and supported by Arista EOS+
@aristanetworks
Arista Networks aristanetworks

Santa Clara, CA

@jules-hedges
jules-hedges
@fmcooper
Frances Cooper fmcooper
@ivelinad
ivelinad
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid