Skip to content

Users following idris-community

@bgavran
Bruno Gavranović bgavran
Categorical Deep Learning

London, United Kingdom

@deadmarshal
Ali deadmarshal
I love Perl, Lua, Pascal, Oberon, Modula-2/3, C, Forth, Erlang, Standard ML, Scheme and Assembly

deadmarshal Iran, Karaj

@fromtheeast710
east fromtheeast710

Sydney, Australia

@RMOnft
RMO RMOnft
Coder, Artist, Thinktank
@GunpowderGuy
Diego Rosario GunpowderGuy
Peruvian computer science student with a liking for functional programming

Lima, Peru

@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022). Welcome to Rokkenjima.

@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy

@nukisman
Alexander nukisman
Idris2, TypeScript, ReactJS, PureScript, Haskell, Elm, NodeJS, HapiJS, AWS
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@BRonen
Brenno Rodrigues BRonen
Functions describe the world.

Brasil Paralelo sa-east-1

@zhangkaizhao
Kaizhao Zhang zhangkaizhao
To be a computer hacker.

China