8000 Lisanju (LIS-λ) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Lisanju's full-sized avatar
🐝
🐝
18 followers · 55 following

Organizations

@LambdaDelta-Lab

Block or report Lisanju

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
@cgpotts
Christopher Potts cgpotts

Stanford Linguistics

@LeGOS-UFSCar
LeGOS-UFSCar
@munhozjpg
João Pedro Gonçalves Munhoz munhozjpg
24 anos, linguista

@LeGOS-UFSCar São Carlos

@jam-khan
Jam Kabeer Ali Khan jam-khan
PLT
@umaisaduasbeli
Isabelly Pereira Neto umaisaduasbeli

Universidade Federal de São Carlos

@Lemonsity
Lemonsity Lemonsity
Programming Languages ∧ Mathematics

@Lodestone-Team

@szumixie
Szumi Xie szumixie
(x : Haskell) → Agda x
@weihuoya
zhang wei weihuoya

China

@fangyi-zhou
Fangyi Zhou fangyi-zhou
Software Engineer | Programming Language Researcher pronoun.is/they

London, UK

@melody-notpond
melody! melody-notpond
Hi! I'm a student of programming and mathematics. I also like (con)linguistics.
@hkuplg
HKU Programming Languages Group hkuplg

Hong Kong

@waterlens
Waterlens waterlens
@pmbittner
Paul Bittner pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG

@TUBS-ISF Würzburg

@thamugadi
aramya thamugadi
@ZJU-PPL
Zhejiang University Principles of Programming Languages Course ZJU-PPL

China

@LambdaDelta-Lab
LambdaDelta Lab LambdaDelta-Lab
Formal Language Research Lab: Formal Methods for Natural, Logic and Programming Languages

Brazil

@agda-web
Agda Web agda-web
Bring Agda the interactive proof assistant to the web.

Taiwan

@jellyterra
Jelly Terra jellyterra
Focus on computer architecture, formal verification, compiler and HLS synthesizer. Qed.

Gensokyo Silicon China

@Frege
Frege
@yinamy
Amy Yin yinamy
Average cognitive science student @ University of Edinburgh, class of '24
@nyusemantics
New York University Semantics Group nyusemantics
@harperbolic
Harper harperbolic

Furigam São Paulo

@GU-CLASP
CLASP GU-CLASP
Centre for Linguistic Theory and Studies in Probability

Gothenburg

@DaisukeBekki
Daisuke Bekki DaisukeBekki
Mathematical/Theoretical/Computational Linguistics, Formal Syntax/Semantics/Pragmatics/Philosophy

Ochanomizu University Tokyo

@luxasfn
Lucas Ferreira do Nascimento luxasfn
Estudante de linguística que quando não está perdido no mundo da lua está lendo quadrinhos e bebendo (muito) café. Cyber Necromancer nas horas vagas. Ubuntu ✊🏾

Campinas/SP - Brasil

@parantes
Pablo Arantes parantes
I do research on speech science and I like to code.

Universidade Federal de São Carlos Brasil

@rescarabel0
Rafael A. Escarabelo rescarabel0

@Visio-ai São Carlos - SP

@slemus9
Sebastián Lemus slemus9
Software Engineer Xebia Functional @47deg

Xebia Bogotá, Colombia

@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@lihofmann
Lisa Hofmann lihofmann
I'm a theoretical linguist in Stuttgart, working in formal semantics, with interest in experimental and computational pragmatics.

Uni Stuttgart

@bwaldon
Brandon Waldon bwaldon
Postdoc

Georgetown

@Edu-Spinelli
Eduardo Henrique Spinelli Edu-Spinelli
Computer Science student from UFSCar (Federal University of São Carlos)
@kyleflick124
Fernando Favareto Abromovick kyleflick124

HackoonSpace

@MisterProjectLC
Dan Isamu MisterProjectLC
Game developer, working at Lightmancer Studios and Sue the Real.

@Lightmancer-Studios São Paulo, Brazil

@Projeto-Hanna
Projeto Hanna Projeto-Hanna
Aprenda sobre programação, hacking e tecnologia com a Hanna!! 👩‍💻

Projeto Hanna Brazil

@Vinicius-Venturini
Vinícius Venturini Vinicius-Venturini
Computer Science student at Federal University of São Carlos (UFSCar) - Campus Sorocaba

Minas Gerais, Brazil

@InfiniteMarcus
Marcus Natrielli InfiniteMarcus
Computer Science student at UFSCar - Sorocaba and part of the organization of the hackerspace HackoonSpace

Projeto Hanna São Paulo, Brazil

@4RandomProgrammer
Luís Felipe Henriques 4RandomProgrammer
CS student, game dev hobbyist and coding enthusiast

São Paulo, Brazil

@hackoonspace
HackoonSpace hackoonspace
Perfil do HackoonSpace, o hackerspace da UFSCar Sorocaba!

@HackoonSpace Sorocaba, São Paulo, Brasil

@DangoBalango03
DangoBalango03
@Iuri003
Iuri Almeida Iuri003
Undergraduate student in Statistics at IME-USP

Turing USP Recife-PE, Brasil

@arbackes
André Backes arbackes
Professor Associado da Universidade Federal de São Carlos. Programação, visão computacional, processamento de imagens, inteligência artificial
@citiususc
CiTIUS citiususc
Centro Singular de Investigación en Tecnoloxías Intelixenteas da Universidade de Santiago de Compostela

Santiago de Compostela

@xavierpinho
Xavier Pinho xavierpinho

Braga, Portugal

@patrl
Patrick Elliott patrl
Theoretical Linguist

Heinrich-Heine University Düsseldorf Berlin

@kafurakami
Abhinav Sahay kafurakami
Fulfilling Quotas at Macrodata Refinement

BITS Pilani

@Menna13
Menna Khaliel Menna13
Computer Science Major and ENVS Minor @ Bryn Mawr College

Bryn Mawr College

@westminsterabi
Abi Hunter westminsterabi
ML Serving SRE @ Google

@google Pittsburgh

@WeAthFoLD
WeAthFoLD
Living the life to its maximum.

miHoYo Shanghai

0