[go: up one dir, main page]
Skip to content
View ignaden's full-sized avatar
10 followers · 8 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@imandra-ai

Block or report ignaden

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
@imtiaza20
Imtiaz Ahmad Ali imtiaza20
PhD Physics from University of California, Merced. MSFM University of Chicago.
@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@aidmandorky
Koundinya Vajjha aidmandorky

@imandra-ai San Francisco Bay Area

@BolshovDmitri
BolshovDmitri
@jbdatascience
Jan Bours jbdatascience
I care about Data Science in general. But I try to focus on some subfields of it (or I will explode ......... ).

Netherlands

@lrhammond
Lewis Hammond lrhammond
Hello world.

University of Oxford Oxford, UK

@mbautin
Mikhail Bautin mbautin
YugabyteDB is the distributed SQL database for modern apps! https://github.com/yugabyte/yugabyte-db

@Yugabyte

@JosephIaquinto
Joe Iaquinto JosephIaquinto

Troy Web Consulting

@mattjbray
Matt Bray mattjbray

@imandra-ai London, UK

@salsferrazza
Salvatore Sferrazza salsferrazza

NYC