Skip to content
View TerrorJack's full-sized avatar
465 followers · 252 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruckx3

Organizations

@ThoughtWorksInc @NixOS @tweag @type-dance @haskell-wasm @haskell-ai

Block or report TerrorJack

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
@rybla
Henry Blanchette rybla
programming languages, formal verification, functional programming, game theory.

CS PhD student at UMD Washington, DC

@rohitwtbs
rohit kumar rohitwtbs
trying to figure out the game of 0 and 1. My thoughts in a virtual present through Python , Javascript, Haskell ,Rust .

@Siemens India

@0rphee
0rphee
@andriimlt
Andrii andriimlt
Java dev
@el-ev
Iris Shi el-ev
Everyone is always connected.

Here

@Yuti-Yoko
Hara Yuti-Yoko
The Enthusiast Developer
@Xvezda
Xvezda Xvezda
Front-End Developer / Web Application Bug Hunter / VIM, JavaScript, Python ❤️

Seoul, South Korea

@mistivia
🥦🍓🍇 mistivia

Anhui, China

@max-chen-max
max-chen-max
@zlonast
Ilya Baryshnikov zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@ninioArtillero
Xavier Góngora ninioArtillero
Mathematician and musician doing research in music DSLs, live coding and functional programming. Founding member of @sptm-unam

Tepoztlán, MX

@mowhn
mr_mowhn mowhn
I focus on gaining knowledge and creating projects for fun.
@itsKayWat
itsKayWat itsKayWat
👋 I'm Chris Loetz, I make stuff. Crafting tools to help stores and teams streamline operations and enhance efficiency - TikTok: @ll_kaywat_ll - OnPoint

NexusStream Project Ai One Click Away From You =P

@arisgk
Aris Goudouras arisgk
Product-Minded Software Engineer. JS/TS, Haskell

Thessaloniki, Greece

@WenyaZhou
Jacqueline WenyaZhou
headhunter; wx: timelessclue. explore, learn, feel, create

Shanghai

@ahuoguo
Alex Bai ahuoguo

MPI-SWS

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, Isère, France

@michael-0acf4
michael-0acf4

@futureg-lab

@torahappy
tora torahappy
Previous works: https://torahappy.org/Prophyan/happy/ <br> <br> PGP fingerprint 0D7C37495BFF2A579147E99F90C3A99FE31D2459

Japan

@yvan-sraka
Yvan Sraka yvan-sraka

Brussels, Belgium

@Mattcrmx
Matthias Mattcrmx
Cats & Techno, partner in crime with my homie @alxthm
@samthetechie
Samuel Carlisle samthetechie
Python Expert | Platform Engineer (DevSecOps) | Building Scalable, Secure, and Resilient Systems

samthetechie Berlin

@CYBAI
cybai (Haku) CYBAI

Tokyo

@dunwe
stevenad dunwe
road way

BYTEDANCE

@harryprayiv
Harry Pray IV harryprayiv
Haskell, Nix, Plutus, Purescript; functional programming enthusiast

Cambridge, MA

@Kula529
Kula Diamond Kula529
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@hannahlin98
Hannah Lin hannahlin98
Focus on quantitative trading and crypto hiring. Email: hannahlin3485@outlook.com WeChat/WhatsApp: +86 17717953485

Shanghai, China

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@rebornwwp
u rebornwwp

Beijing, China

@ShinnyHB
ShinnyHB
@lqhuang
Lanqing Huang lqhuang
Be happy!

Nomad Nowhere

@rahulfromearth
⠠⠗⠁⠓⠥⠇ rahulfromearth

Bengaluru, India

@nojup
YerazZ nojup
@inayet
Inayet Hadi inayet
Exciting times where tech is at your finger tips, apis, webhooks, llm, learn and share, being thankful

Dreams API Denver, CO

@erupmi
Erika Tse erupmi
My personality type is dependent type.
@thelissimus
kei thelissimus
Type Theory, Compiler Engineering, Formal Verification.

Imiron

@tpolong
Tangweilong tpolong
371278319@qq.com
@jnlindsay
Jeremy Lindsay jnlindsay
BSc (Honours) in pure mathematics. Software Engineer at WiseTech Global.

WiseTech Global Sydney, NSW, Australia

@SophieBosio
Sophie Bosio SophieBosio
Software engineer at Ardoq and Emacs enthusiast λ Haskell & Clojure

Ardoq Oslo, Norway

@Rewbert
Robert Krook Rewbert
PhD student at Chalmers University of Technology. Compilers, IoT, Languages, Testing

Chalmers University of Technology Gothenburg

@ayanamists
LI CHENXI ayanamists

MeiTuan Beijing, China

@vreuter
Vince vreuter
Computational biology software, with interest in analyzing genome architecture and regulation by imaging and sequencing.
@soulomoon
patrick soulomoon
I might be dying, but I love the abstraction of the world
@Kiam-24
Kiam-24
@senthil28
senthil28
@zzantares
Julio César zzantares

Zacatecas, México