Skip to content
View nightly's full-sized avatar
17 followers · 125 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Highlights

  • Pro

Block or report nightly

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
@proroklab
proroklab

Cambridge, UK

@uuverifiers
UUVerifiers uuverifiers
A collection of verification tools developed by Uppsala University and the University of Regensburg.
@SaschaWillems
Sascha Willems SaschaWillems

Germany

@pseudo-rnd-thoughts
Mark Towers pseudo-rnd-thoughts
Software Engineer at Anyscale, making distributed computing easy. Maintainer of Gymnasium and member of the @Farama-Foundation

Anyscale London

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@jachiam
Josh Achiam jachiam
Head of Mission Alignment at OpenAI. PhD from UC Berkeley.
@sacktock
Alex Goodall sacktock
PhD Student @ Imperial College London I use this page for academic and personal projects

London

@mlfoundations
mlfoundations
@cuddorg
CUDD Maintainers cuddorg
We maintain CUDD, the Decision Diagram (BDD, ZDD, ADD) library originally developed by Fabio Somenzi at the University of Colorado.
@PKU-Alignment
PKU-Alignment PKU-Alignment
Loves Sharing and Open-Source, Making AI Safer.

China

@dalonsoa
Diego Alonso Álvarez dalonsoa

Imperial College London London

@jurtasun
Jesus Urtasun jurtasun
Ph.D in theoretical physics, University of Milan. Computational Biology, London Medical School LMS. Assistant lecturer, Imperial College London ICL

London Insittute for Medical Sciences LMS, Imperial College London ICL

@rail-berkeley
Robotic AI & Learning Lab Berkeley rail-berkeley
@astral-sh
Astral astral-sh
High-performance developer tools for the Python ecosystem.

United States of America

@cxlvinchau
Calvin Chau cxlvinchau
PhD Student @ TU Dresden. Interested in probabilistic model checking, neural network verification and formal methods in general.

TU Dresden Dresden, Germany

@TristanBester
Tristan Bester TristanBester
Computer Scientist.

@elucidate-ai, @raillab

@google-deepmind
Google DeepMind google-deepmind
@ImperialCollegeLondon
Imperial College London ImperialCollegeLondon
Imperial College London main code repository

United Kingdom

@acornprover
Acorn acornprover
The acorn theorem prover.

United States of America

@Rich-Harris
Rich Harris Rich-Harris

NYC

@settheoreticalpineapple
Joni Puljujärvi settheoreticalpineapple
A mathematician who sometimes does web design.

Helsinki, Finland

@svecosystem
svecosystem svecosystem
Building libraries and tools for the Svelte ecosystem.

United States of America

@martinus
Martin Leitner-Ankerl martinus
mostly C++ stuff. I like Bitcoin

@Dynatrace Altenberg bei Linz, Austria

@petersn
petersn
@ReVanced
ReVanced ReVanced
Continuing the legacy of Vanced

United States of America

@causalincentives
Causal Incentives Working Group causalincentives
We develop causal models to analyse agents' incentives
@johnHostetter
John W. Hostetter, Ph.D. johnHostetter
Assistant Professor of Analytics and Information Systems

Western Kentucky University Bowling Green, Kentucky

@francescofuggitti
Francesco Fuggitti francescofuggitti

@bancaditalia, ex- MIT-IBM Watson AI

@morxa
Till Hofmann morxa

RWTH Aachen University Aachen

@ldltools
Tools for utilizing Linear Dynamic Logic ldltools
launched in 2018
@SYNTCOMP
Reactive Synthesis Competition SYNTCOMP
@codeck
Cheng Kuan codeck
_^_
@takuseno
Takuma Seno takuseno
Staff Researcher at Turing Inc.

Turing Inc. Japan, Tokyo Bay Area

@gerardcanal
Gerard Canal gerardcanal
Lecturer in Autonomous Systems

King's College London London

@huntabyte
Hunter Johnston huntabyte
To define is to limit.
@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@noirblancrouge
Noir Blanc Rouge noirblancrouge
Independent type foundry. Retail & custom typefaces

Noir Blanc Rouge Paris

@labmlai
labml.ai labmlai
Tools to help deep learning researchers
@cerlymarco
Marco Cerliani cerlymarco
Statistician Hacker & Data Scientist

Milan, Italy

@hfawaz
Hassan ISMAIL FAWAZ hfawaz
Machine Learning Researcher - PhD in Data Science and Artificial Intelligence.

Beyond Limits Dhahran

@cyrusneary
Cyrus Neary cyrusneary
Assistant Professor at The University of British Columbia

The University of British Columbia Vancouver

@ContinualAI
ContinualAI ContinualAI
A non-profit research organization and open community on Continual Learning for AI.
@giovannivarr
giovannivarr
PhD student at Utrecht University
@aarroyoc
Adrián Arroyo Calle aarroyoc
Illuminati confirmed

@Telefonica Valladolid, Spain

@rybla
Henry Blanchette rybla
programming languages, formal verification, game dev, game theory

CS PhD student at UMD Washington, DC

@luokailun
luokailun
@apolukhin
Antony Polukhin apolukhin

Boost C++ Libraries; userver

@vitaut
Victor Zverovich vitaut
🤍❤️🤍 Carbon-based open sourcerer, author of {fmt}, C++20 std::format and C++23 std::print

Meta Laniakea Supercluster

@google
Google google
Google ❤️ Open Source

United States of America

@microsoft
Microsoft microsoft
Open source projects and samples from Microsoft

Redmond, WA