Skip to content
View sunny-g's full-sized avatar

Block or report sunny-g

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
@0xSero
0xSero 0xSero
Orchestrator

Sybil Solutions United States

@tig-foundation
The Innovation Game tig-foundation
The Network for Algorithmic Breakthroughs
@octra-labs
octra labs octra-labs
non-profit association of researchers and builders who develop fast and reliable FHE solutions for blockchain, AI and ML.

Switzerland

@numtide
Numtide numtide
@NixOS and DevOps consulting

Switzerland

@orcahand
ORCA Dexterity orcahand
democratizing dexterity
@flowercomputers
Flower Computer Co. flowercomputers
Everything computer company

United States of America

@burnt-labs
Burnt Labs burnt-labs
It is our mission to advance society’s financial and creative freedom, by any means necessary.
@belisarius222
Ted Blackman belisarius222
Systems Software

Massachusetts

@buildermethods
Builder Methods buildermethods

United States of America

@verse-lab
Verified Systems Engineering Lab verse-lab
Research Group at NUS School of Computing

Singapore

@HMOFA-CHAD
Ian Pritchard HMOFA-CHAD
bio-inspired humanoids @Anthrobotics Locked out of my old account so here we are! Old GitHub link below.

@Anthrobotics Canada

@fileverse
Fileverse fileverse
End-to-end encrypted workspace & collaboration apps

Greece

@lean-dojo
LeanDojo lean-dojo
Machine Learning for Theorem Proving in Lean

United States of America

@lukechampine
Luke Champine lukechampine
"If the world were perfect, it wouldn't be." - Yogi Berra

@SiaFoundation

@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@All-Hands-AI
All Hands AI All-Hands-AI
We build AI software development agents for everyone, in the open.
@operating-function
The Operating Function Company operating-function
Building a cloud operating system for personal use.
@deathtothecorporation
Vaporware deathtothecorporation
An operating function company.
@shreyashankar
Shreya Shankar shreyashankar
CS PhD student at UC Berkeley

@ucbepic Berkeley, CA

@wavefnx
wavefnx wavefnx
ascendance through technological innovation
@swlkr
swlkr swlkr

null island

@srl-ethz
Soft Robotics Lab, ETH Zürich srl-ethz
We develop soft and biohybrid robots. Our research laboratory that is part of the Institute for Robotics and Intelligent Systems at ETH

Zürich, Switzerland

@elicit
Elicit elicit
AI for Scientific Research

United States of America

@PQC-Suite-B
PQC Suite B PQC-Suite-B
Faster post-quantum cryptography
@worldcoin
Worldcoin worldcoin
Building the world’s largest identity and financial network as a public utility, giving ownership to everyone.
@mozilla-ai
Mozilla.ai mozilla-ai
main development portal for mozilla.ai
@ekzhang
Eric Zhang ekzhang
An honest, more human kind of software

@thinking-machines-lab New York, NY

@usbarmory
USB armory usbarmory
innovative hardware, runtime, firmware, software for secure deployments

Italy

@tonk-labs
Tonk tonk-labs
In hot pursuit of a new and better internet
@OpenMANET
OpenMANET OpenMANET

United States of America