Skip to content
View nsrknth's full-sized avatar

Block or report nsrknth

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@haskell-miso
miso haskell-miso
Official organization for the Haskell miso project

United States of America

@jxin31415
Jimmy Xin jxin31415
Turing Scholar at The University of Texas at Austin
@BoltonBailey
Bolton Bailey BoltonBailey
Proof dude

Project Numina California

@dschrempf
Dominik Schrempf dschrempf
I like Haskell.

Well-Typed LLP Austria

@BinWang28
Bin Wang BinWang28
AI Tech Builder, MiroMind, Singapore

MiroMind Singapore

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@kosmikus
Andres Löh kosmikus

Well-Typed LLP Regensburg

@N1ark
opale N1ark
/ᐠ - ˕ -マ Ⳋ

Imperial College London London

@giltho
Sacha Ayoun giltho
CTO of Soteria Tools Ltd. and postdoctoral research at Imperial College London

Soteria Tools Ltd.

@apaszke
Adam Paszke apaszke
Author of PyTorch. Research Scientist @ Google.

@google Berlin, Germany

@cdisselkoen
Craig Disselkoen cdisselkoen
Sr. Applied Scientist at AWS. PhD '22 from UC San Diego

AWS

@lucasdicioccio
dicioccio lucas lucasdicioccio
AI, Functional Programming, and Optimization
@AxiomMath
AxiomMath

United States of America

@maude-lang
Maude maude-lang
Language based on Rewriting Logic
@midnightntwrk
Midnight midnightntwrk
The architecture of freedom is rational privacy.
@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@sakshamsharma
Saksham Sharma sakshamsharma
Director, Quant Research Technology. @tower-research. @cseAtIITK.

@tower-research New York, New York

@aminjalilov
Amin Jalilov aminjalilov

KAIST Daejeon, South Korea

@muoitranduc
Muoi Tran muoitranduc
Assistant Professor at Chalmers University of Technology

Chalmers University of Technology Sweden

@hcnam
Hocheol Nam hcnam
Ph.D. Student @NetSP-KAIST

KAIST. NetS&P Lab 1420, N4 bldg., KAIST

@ZhangHanDong
Alex ZhangHanDong
Engineer / Architect / Independent Consultant / Technical writer

Beijing, China

@actionbook
Actionbook actionbook
Browser action engine for AI agents.

United States of America

@hedgehogqa
Hedgehog hedgehogqa
Release with confidence.

Australia

@kurtosis-tech
Kurtosis Tech kurtosis-tech
Building tools to get developers the environments they need where they want them, the way they want them.

United States of America

@predictable-machines
Predictable Machines predictable-machines
Building Trust through Verification

United States of America

@vacancy
Jiayuan Mao vacancy

MIT Cambridge, MA

@1033309821
Abel 1033309821
Floating life seem a dream
@chapering
Haipeng Cai chapering
Coding worm

University at Buffalo NY

@Kenun99
Kenun99

Hong Kong China

@AdaCore
AdaCore AdaCore
AdaCore is the leading provider of commercial software solutions for Ada.

Paris, France - New York City, NY

@keltono
Kelton OBrien keltono
Dork | PhD Student at IU

Minneapolis, Minnesota